Set local user.name and user.email different for each repo and globally https://stackoverflow.com/questions/42167345/git-set-local-user-name-and-user-email-different-for-each-repo