Hi Andreas Müller, thanks for a very useful and informative post. Why include .gitignore in the ignored files?(I’m a bit of a newbie to git.)