Re: [PATCH v2] CI: allow jobs to be run in merge requests