Update developer documentation etc
This includes among others the following: - Updates for infrastructure changes (we use GitLab now) - Updates for URL to Git repos and build servers - Updates to processes, e.g. how to work with GitLab - Updates to Oomph setup to set up development environment - Test contributions by non-committers
issue

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent