Mirroring vers Github ?
Certaines personnes clone le dépôt Github plutôt que le Gitlab.
Gitlab permet de faire du mirroring (et en ne prenant que les branches protégées si on veut). Est-ce qu'on ferait cela pour rester à jour sur Github ?
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Certaines personnes clone le dépôt Github plutôt que le Gitlab.
Gitlab permet de faire du mirroring (et en ne prenant que les branches protégées si on veut). Est-ce qu'on ferait cela pour rester à jour sur Github ?