I have the following use case: I would like to be able to push to git@git.company.com:gitolite-admin using the private key of user gitolite-admin, while I want to push to git@git.company.com:some_repo using ‘my own’ private key. AFAIK, I can’t solve this using ~/.ssh/config, because the user name and server name are identical in both cases. As I mostly use my own private key, I have that defined in ~/.ssh/config for git@git.company.com. Does anyone know of a way to override the key that is used for a single git invocation?
(Aside: gitolite distinguishes who is doing the pushing based on the key, so it’s not a problem, in terms of access, ownership and auditing, that the user@server string is identical for different users.)