This includes among others the following: - [x] Updates for infrastructure changes (we use Eclipse GitLab now) - [x] Updates for URL to Git repos and build servers - [x] Updates to processes, e.g. how to work with GitLab - [x] Updates to Oomph setup to set up development environment