[PATCH 3/9] GitLab CI: Make wider use of tags