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
+~~~