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

(Кроме того, gitolite различает, кто выполняет нажатие на основе ключа, поэтому с точки зрения доступа, владения и аудита не проблема, что строка user @ server одинакова для разных пользователей.)