====== 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

<code>
git@github.com:marclebrun/mon_projet.git
</code>

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

<code bash>
cd /home/marc/tmp
git clone --bare marc@monserveur.net:/home/marc/git/mon_projet.git
</code>

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

<code bash>
cd mon_projet.git
git remote set-url origin git@github.com:marclebrun/mon_projet.git
</code>

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

<code bash>
git push --mirror origin
</code>