[PATCH 0/2] Introduce GitLab CI and merge requests