Missing GitLab → Jenkins hook for release branches
I seem to recall Jenkins builds starting immediately when pushing updated release branches (e.g. stable
), which is not the case with GitLab at the moment. Looking at timings for past jobs, we seem to have a cron-like */15
, which means wasting up to 15 minutes.
Since checking Jenkins reproduced the image successfully is on the critical path (before committing/pushing ISO history, in turn needed for IUK builds, etc.), I've amended the release process to mention one might want to trigger a build manually. But it would probably be best to have a web hook trigger that on pushes, so that we don't have to worry?
Tentatively assigning to @intrigeri as part of the GitLab migration.