Le 18 novembre 2013 17:08, Julien Wajsberg <[email protected]> a écrit :
> pour moi, le repo sur github n'est qu'un miroir. On ne fera jamais de > commit directement dessus (sauf sur des branches éventuellement, et > encore). > > En revanche, on peut très bien faire des pull requests, car il est facile > de récupérer un patch depuis une PR et de l'appliquer ensuite sur son repo > hg local puis de pusher sur le repo hg distant. Puis faire le miroir sur > github :) > Ça peut s'automatiser très facilement. > Tout à fait d'accord, je l'ai fait une fois de récupérer un patch poussé sur Github, ça fonctionne très bien. -- Dev mailing list - [email protected] - http://ml.dotclear.org/listinfo/dev
