This has the disadvantage though, that this user level gitignore file will not be in the repo, which means that other less careful contributors have to fix igno

This has the disadvantage though, that this user level gitignore file will not be in the repo, which means that other less careful contributors have to fix ignoribg for themselves.