# 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