14
Spécifiez une clé SSH pour git push pour un domaine donné
J'ai le cas d'utilisation suivant: je voudrais pouvoir pousser à git@git.company.com:gitolite-adminutiliser la clé privée de l'utilisateur gitolite-admin, tandis que je veux pousser à git@git.company.com:some_repoutiliser «ma» clé privée. AFAIK, je ne peux pas résoudre ce problème en utilisant ~/.ssh/config, car le nom d'utilisateur et le nom du serveur sont identiques dans …