les 2 types de comptes : Inria et externes, quels droits?
Sauvegardes
les dépôts Git sont sauvegardés toutes les heures tandis que les données GitLab (utilisateurs, BugTracker, gestion pull-request,...) sont sauvegardées quotidiennement. Pour une demande de restauration, mettre un ticket dans le helpdesk.
Migration d'un projet
A FAIRE : comment migrer un projet d'un gitlab local vers le service national : à tester afin de connaitre la procédure exacte si procédure ok, le demandeur aura à mettre un ticket dans le helpdesk (vraisemblablement besoin d'être admin)
Limitations du service
Le servie d'intégration continue proposée par GitLab est désactivé par défaut. Il est fortement déconseillé de le réactiver mais recommander d'utiliser le serveur Jenkins ci.inria.fr. A compléter.
Documentations Gitlab avancé
Une documentation avancé est disponible sur le serveur GitLab Inria à l'adresse : https://glf-gitlab.inria.fr/help Elle apporte des informations, notamment sur :
l'administration des utilisateurs, groupes et permissions