Git: changer le dépôt principal de son projet (remote origin)

Si vous avez besoin de transférer votre projet sur un nouveau repository vierge, voici les instructions à suivre.

La configuration actuelle :

$ git remote -v
origin  git@github.com:CharlyBr/projet.git (fetch)
origin  git@github.com:CharlyBr/projet.git (push)

Tout d’abord, supprimer l’origine actuelle.

git remote rm origin

Ajouter le nouveau dépôt :

$ git remote add origin git@github.com:CharlyBr/gros.git

Mettre à jour le code sur le dépôt distant :

git fetch
git branch --set-upstream-to=origin/master master
git push -u origin master