The source project of this merge request has been removed.
WIP: Adding Gitlab CI support
Since this is a required step to gradually get rid of GitHub as our main conrtribution platform, we could begin by using our own CI system.
Edited by Rigel Kent