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
git@github.com:marclebrun/mon_projet.git
cd /home/marc/tmp git clone --bare marc@monserveur.net:/home/marc/git/mon_projet.git
cd mon_projet.git git remote set-url origin git@github.com:marclebrun/mon_projet.git
git push --mirror origin