Укажите ключ SSH для git push для данного домена
У меня есть следующий вариант использования: я хотел бы иметь возможность нажать на[email protected]:gitolite-admin
используя закрытый ключ пользователяgitolite-admin
пока я хочу подтолкнуть к[email protected]:some_repo
используя «мой собственный» закрытый ключ. AFAIK, я не могу решить это с помощью~/.ssh/config
потому что имя пользователя и имя сервера идентичны в обоих случаях. Поскольку я в основном использую свой собственный закрытый ключ, я определил это в~/.ssh/config
за[email protected]
, Кто-нибудь знает способ переопределить ключ, который используется для одногоgit
вызов?
(Кроме того, gitolite различает, кто выполняет нажатие на основе ключа, поэтому с точки зрения доступа, владения и аудита не проблема, что строка user @ server одинакова для разных пользователей.)