Comment choisir un compte pour s'authentifier sur un dépôt distant ? Ou plutôt comment utiliser spécifiquement une clé privée pour pousser (push) des modifications sur un repository Github en particulier ?
Si vous faites du multi-compte sur Github et que vous souhaitez sélectionner l'un de vos comptes pour vous authentifier sur l'un de vos dépôts, la modification à faire se situe au niveau du fichier .git/config de votre dépôt local.
Il faut passer une commande spécifique au sein du groupe [core], grâce à la variable sshCommand.
Tout ceci est expliqué en anglais ici :
https://dev.to/web3coach/how-to-configure-a-local-git-repository-to-use-a-specific-ssh-key-4amlCela peut vous éviter l'erreur suivante :
"ERROR: Repository not found.
fatal: Impossible de lire le dépôt distant.
Veuillez vérifier que vous avez les droits d'accès
et que le dépôt existe."
Elle peut être rencontrée si vous avez plusieurs comptes et une clé par compte.
Par défaut, le système d'exploitation utilise la même clé pour l'ensemble de vos authentifications sur une même plateforme et ne se soucie pas du tout de vos droits spécifiquement à chaque dépôt, indépendamment de la manière dont il a été initialisé.
Le problème est le même avec Gitlab.