Migration Github → Gitlab

• Création du groupe Dinum
• Import technique du dépôt
• Création des tâches de CI pour remplacer les Github Actions
• Attribuer les mêmes droits aux mêmes personnes
• Configurer le miroir vers Github
• Afficher sur le dépôt Github la nouvelle URL