Comment changer d'utilisateur git au terminal ?
J'essaie de pousser un projet vers un dépôt distant depuis la ligne de commande.
Depuis mon répertoire local, j'appuie sur :
$ git push
et j'obtiens l'erreur suivante :
remote : Permission d'accès à username1/repo.git refusée à username2. fatal : impossible d'accéder à https://github.com/username1/repo.git/ ’ : L'URL demandée renvoie une erreur : 403
Où username1
est le nom d'utilisateur de mon compte github hébergeant le dépôt vers lequel je veux pousser et username2
est un ancien compte que j'utilisais sur cette machine.
J'utilise OS X Yosemite (v10.10.5) sur un Macbook Air. Et je préfère utiliser https au lieu de ssh.
Comment puis-je mettre à jour vers username1
pour pouvoir pousser avec succès vers ma télécommande ?
Edit : Pour être clair, je ne parle pas de simplement éditer l'objet config user
, par exemple,
$ git config --global user.name "Billy Everyteen"
$ git config --global user.email "billyeveryteen@example.com"
Ils n'ont rien à voir avec l'authentification. Ma question porte sur l'authentification de l'utilisateur nécessaire pour écrire dans mon répertoire distant.