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