From 2c7f76334fbf8691d69534af9bff87444f94f80d Mon Sep 17 00:00:00 2001
From: Daniel Jakots <djakots@evolix.ca>
Date: Sat, 17 Dec 2016 20:16:49 -0500
Subject: [PATCH] ajout d'un paragraphe sur comment migrer un depot git

---
 HowtoGit.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/HowtoGit.md b/HowtoGit.md
index 4f1b3790..abd016f9 100644
--- a/HowtoGit.md
+++ b/HowtoGit.md
@@ -680,4 +680,12 @@ $ git repack
 $ git gc
 ~~~
 
+### Migrer un dépot git
 
+Il se peut qu'on change de forge (passage de gitolite à gitlab par
+exemple) et il faut alors migrer les dépots. Un moyen de faire :
+
+~~~{.bash}
+$ for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`; do rbranch=$(echo $branch | tr '/' ' ' | awk '{print $3}') ; git checkout -b $rbranch $branch ; done
+$ git remote add gitlab gitlab@gitlab.example.com:group/repo.git && git push gitlab --all && git remote remove origin && git remote rename gitlab origin && git push --set-upstream origin master
+~~~