Pour des raisons de sécurité, une mise à jour des serveurs Gitlab sera effectuée le lundi 26/05/2025 entre 10:00h et 12:00h. Une interruption de service est à prévoir. Merci de votre compréhension.

This is an archived project. Repository and other project resources are read-only.

Merge branch '57-update-to-move-to-new-gitlab-server-and-new-repository-name' into 'master'

Passed

Dominique Marcadet created pipeline for commit 14704b79

5 years ago, finished 5 years ago

For 58-add-some-information-in-readme-before-mirroring-on-github

32 seconds, queued for 37 seconds

Admin message

Merge branch '57-update-to-move-to-new-gitlab-server-and-new-repository-name' into 'master'