CI integration
- find a way how to integrate CI into the currently mirrored repositories
- bot rebasing some
gitlab
branch after mirror pull?
- bot rebasing some
- find a way how to share the most CI stuff (scripts etc.) between the repos
- separate
ci-stuff
repo ?
- separate