NEW ! Extension de la date limite à : fin février 2022. Attention ce serveur Gitlab sera déconnecté en fin février 2022 et sera remplacé par le nouveau serveur, déjà accessible via

Tout utilisateur intéressé par le maintien d'un compte Gitlab à l'Université doit prévoir le transfert de ses données, projets, groupes, vers le nouveau serveur.


NEW ! Extended deadline : end of February 2022.

Warning : this server will be disconnected at the end of February 2022 and will be replaced with the new server Gitlab already available at

Any user interested in maintaining a Gitlab account at the University must transfer their own data, projects, groups, to the new server.


Container Registry

With the Docker Container Registry integrated into GitLab, every project can have its own space to store its Docker images.

Learn more about Container Registry.

How to use the Container Registry

First log in to GitLab’s Container Registry using your GitLab username and password. If you have 2FA enabled you need to use a personal access token:

docker login

You can also use a deploy token for read-only access to the registry images.

Once you log in, you’re free to create and upload a container image using the common build and push commands

docker build -t .
docker push

Use different image names

GitLab supports up to 3 levels of image names. The following examples of images are valid for your project: