diff --git a/HowtoGit.md b/HowtoGit.md
index 14e148de..ddd527d4 100644
--- a/HowtoGit.md
+++ b/HowtoGit.md
@@ -178,6 +178,27 @@ Supprimer les branches locales qui ne sont pas présentes sur le dépôt distant
 $ git fetch -p
 ~~~
 
+### Gestion groupée
+
+`mr(1)` (paquet [myrepos](https://myrepos.branchable.com/) dans Debian)
+permet de gérer plusieurs dépôts Git (entre autres) de façon unifiée.
+
+Pour ajouter un dépôt à `~/.mrconfig` il suffit de lancer la commande
+suivante depuis le répertoire du dépôt.
+
+~~~
+$ mr register
+~~~
+
+Ensuite, `mr update` (ou plus court, `mr up`) permet de mettre à jour
+tous les dépôts enregistrés dans les sous-répertoires. La mise à jour
+peut aussi être réalisée en parallèle (`mr -j5 up` lance cinq tâches en
+parallèle).
+
+Il est possible de récupérer le fichier de configuration `~/.mrconfig`
+pour réinitialiser rapidement sur une nouvelle machine les dépôts que
+l’on utilise avec `mr checkout`.
+
 ## Commandes avancées
 
 ### Afficher l'historique