Укажите ключ SSH для git push для данного домена

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

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