Migration du gitlab : si vous constatez des problèmes suite à la migration, n'hésitez pas à ouvrir un ticket ici: https://gitlab.lre.epita.fr/lre/ticket-prod/-/issues
