Migrate project from Gerrit
Move the EASE project from gerrit to Gitlab. This involves:
- moving & merging source repositories
- updating oomph setup
- updating jenkins build files
- move website repository
- move mediawiki content
- mov eexample script repository