From 627e54a1e9d404832d61f8a3f0d9751e9857b257 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Wed, 1 Mar 2017 18:03:10 +0400
Subject: [PATCH] maj doc

---
 TODO.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/TODO.md b/TODO.md
index 2b1b753..a0ce7ba 100644
--- a/TODO.md
+++ b/TODO.md
@@ -6,4 +6,9 @@
   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
\ No newline at end of file