Migrate EASE from gerrit to gitlab
As discussed in #2504 (closed) lets move EASE to gitlab.
During migration we would like to change the repository structure a litte, therefore I would request to create a bare repository 'org.eclipse.ease'. I would then locally merge the 2 current repositories (keeping history) and commit them to the new repo. Therefore I would require direct push access rights - at least for the initial contribution.
Further I am currently not clear where the website repo is actually hosted. I anyway need to change it from old php scripts to hugo. So maybe also there a fresh repo would be sufficient.
If possible, I would like the old repositories to be set to read-only (can be done immediate from my point ov view). After the transition is done I would declare them 'free-to-archive/delete'.
Anything else we need to get started?