Gitlab migration of Papyrus for Manufacturing
I'm committer and maintainer of the Papyrus extension "Papyrus for Manufacturing" which is currently hosted on the git.eclipse.org, notably
https://git.eclipse.org/c/papyrus/org.eclipse.papyrus-manufacturing.git
We would like to move this project to https://gitlab.eclipse.org/eclipse/papyrus which already hosts three other Papyrus projects. From our side, migration could be as soon as possible.