Git: actually a good idea to have a global ignorefile