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