Resolve "update to move to new gitlab server and new repository name"
Merged
requested to merge 19-update-to-move-to-new-gitlab-server-and-new-repository-name into master
Closes #19 (closed)
Edited by Dominique Marcadet
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.
Closes #19 (closed)
added 1 commit
unmarked as a Work In Progress
mentioned in commit ae34790f
merged