Resolve "update to move to new gitlab server and new repository name" (!19) · Merge requests · RiseClipseGroup / riseclipse-validator-scl2003 · GitLab

Snippets Groups Projects

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.

Merged Dominique Marcadet requested to merge 19-update-to-move-to-new-gitlab-server-and-new-repository-name into master 5 years ago

Closes #19 (closed)

Edited 5 years ago by Dominique Marcadet

Activity

Dominique Marcadet added 1 commit 5 years ago
added 1 commit

cbb55117 - updated for gitlab-research and new repository names

Compare with previous version
Dominique Marcadet unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress
Dominique Marcadet mentioned in commit ae34790f 5 years ago

mentioned in commit ae34790f
Dominique Marcadet merged 5 years ago

merged

Please register or sign in to reply