diff --git a/HowtoGit.md b/HowtoGit.md
index 600031e6..27322052 100644
--- a/HowtoGit.md
+++ b/HowtoGit.md
@@ -761,7 +761,7 @@ $ git gc
 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
 ~~~