make sure .gitignore lists the right files
make sure .gitignore lists the right files