Of course, user info should go in .gitconfig.local