Introduce some kind of pre-merge gating on CI
It would be great to adapt the "not rocket science" principle for at least some of our repositories. That means that we would set things up such that CI runs before anything enters the master branch.
Right now, on GitLab this requires an external bot, such as marge-bot.