To all CMAP users: this GitLab instance is becoming obsolete and is being replaced by PLMLab, a service provided by Mathrice. You need to migrate your repositories as soon as possible. Please visit https://intranet.cmap.polytechnique.fr/itdocs/applications/gitlab/ for more information.