Right now, only main seems to trigger CI/CD in GitLab push-mirror. - [ ] Move CI/CD to GitHub or keep GitLab? - [ ] How to organize workers in the future on either platform?