The old Gitlab server will be replaced by the end of 2021 by the new server
Users are responsible for transferring their data and projects to the new sever.
moulinette d’export récursif utilisant l’API. Pour Info111, cela donne ça:
from travo import GitLab
old = GitLab("https://gitlab.u-psud.fr")
old.log.setLevel('INFO')
old.login()
new = GitLab("https://gitlabtest.dsi.universite-paris-saclay.fr/")
new.log.setLevel('INFO')
new.login()
group = old.get_group("Info111")
group.export(new,
ignore=["*/*/*/Semaine3", "*/Correction*", "*/exchange", "*/notes", "*/soumissions", "*/outbound", "*/notebooks"])