Especifique uma chave SSH para git push para um determinado domínio
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.)