> Si Github/… change, faudra alors (et peut-être en catastrophe) rapatrier ça > en local : est-ce qu'on aura les bras pour le faire ?
Pour le dépôt lui-même, il n'y aura pas de soucis, chacun d'entre nous en a une copie :) Pour ce qui est du ticketing à coté, c'est effectivement une autre paire de manches. un gitlab sur les serveurs dc, et une synchro éventuelle avec un github ça peut le faire (avec le ticketing sur le gitlab, et non sur le github) -- Bruno -- Dev mailing list - [email protected] - http://ml.dotclear.org/listinfo/dev
