GitLab

@perarnau Feel free to do what you need here, I don't know which license to use. When submitting changes, just comment out the relevant line in .gitlab-ci.yml that merge !10 (merged) introduced, to enable repository quality checks.