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