Le mirroring des dépôts vers Github est maintenant natif dans Gitlab (et donc Framagit). Merci de passer à la fonction native pour que nous puissions couper notre solution maison. Détails sur https://docs.gitlab.com/ee/workflow/repository_mirroring.html#pushing-to-a-remote-repository (pensez à supprimer le webhook de notre solution maison).

Name
Last commit
Last update
documentation Loading commit data...
.gitignore Loading commit data...
README Loading commit data...
makefile Loading commit data...
subseries.bbx Loading commit data...
subseries.dbx Loading commit data...