Tenho o seguinte caso de uso: eu gostaria de poder enviar para[email protected]:gitolite-admin usando a chave privada do usuáriogitolite-admin, enquanto quero pressionar para[email protected]:some_repo usando a chave privada 'minha'. AFAIK, não consigo resolver isso usando~/.ssh/config, porque o nome do usuário e o nome do servidor são idênticos nos dois casos. Como eu uso principalmente minha própria chave privada, eu tenho isso definido em~/.ssh/config para[email protected]. Alguém sabe uma maneira de substituir a chave usada para um únicogit invocação?

(Além disso: gitolite distingue quem está fazendo o push com base na chave, portanto, não é um problema, em termos de acesso, propriedade e auditoria, que a cadeia de usuários do servidor @ seja idêntica para usuários diferentes.)