Git: personal mail as default for git