I point to 2 different git repositories
git@github.com:blah/foo.git
git@mycompany.com:random/bar.git
I push two different SSH public key(s) into github.com and mycompany.com When I push code to the respective git repositories, I need to set the user.name and user.email properties for git. How do I set different names/emails for different repositories.