maj doc

TODO.md

@@ -1,3 +1,14 @@
 # TODO
 
+* supporter pour pdev/prel une convention de nommage différente: la branche
+  master est utilisée pour le développement, et une branche spécifique release
+  est utilisée pour faire les releases. Cela permet de faciliter la
+  collaboration sur github, puisque les gens vont par défaut faire des
+  pull-requests basés sur la branche master.
+
+  implémentation: dans chaque fonction qui gère un dépôt, avec la valeur par
+  défaut `GIT_AUTO_REPO_TYPE=1` on calcule automatiquement le type de dépôt,
+  mais on supporte aussi le mode `GIT_AUTO_REPO_TYPE=` et dans ce cas
+  l'information est globale.
+
 -*- coding: utf-8 mode: markdown -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8:noeol:binary