Fix .gitignore and friends