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