Fix gitignore file that got dropped during repo split