Histoire de remettre un euro dans le nourrin : je suis personnellement
plutôt convaincue que disposer du dépôt en Git et être présents sur Github
serait une bonne chose (en parallèle d'un miroir sur nos serveurs ou
vice-versa).
Le seul (BIG) problème est toujours le même : si on décidait de faire ça il
faudrait que quelqu'un se consacre à cette migration en n'oubliant pas de
récupérer au passage l'historique, les tickets et autres trucs associés.
Je n'ai pas l'impression qu'on dispose de cette ressource...