J'ai créé un dépôt GIT local sur Windows. Appelons ça de la AAA. J'ai mis en scène, commis, et a poussé le contenu de GitHub. git@github.com:username/AAA.git
J'ai réalisé que j'ai fait une erreur avec le nom.
Sur GitHub, je le renomme en git@github.com:username/BBB.git
Maintenant, sur ma machine Windows, j'ai besoin de changer de git@github.com:username/AAA.git
de git@github.com:username/BBB.git
car les paramètres sont encore à essayer de "pousser" pour git@github.com:username/AAA.git
mais j'ai besoin de pousser à l' git@github.com:username/BBB.git
maintenant.
Comment pourrais-je le faire?