Migrer d'un serveur personnel vers GitHub

Migrer des dépôts depuis un serveur personnel vers un compte GitHub.

Source: https://stackoverflow.com/questions/56302112/how-do-i-migrate-a-local-git-repository-to-github

• Créer le nouveau dépôt sur GitHub via l'interface web

git@github.com:marclebrun/mon_projet.git

• Créer un clone local du dépôt

cd /home/marc/tmp
git clone --bare marc@monserveur.net:/home/marc/git/mon_projet.git

• Dans ce clone local, modifier l'url de origin

cd mon_projet.git
git remote set-url origin git@github.com:marclebrun/mon_projet.git

• Faire un push vers le nouveau dépôt

git push --mirror origin