Alexander Schmolck

I'm a bit confused by this. If you have set up your pipelines as intended in Github, why would something like this be needed on the marge side? Can you...

[Yeah, meant Gitlab, sorry] OK, I think I understand now: you want branches that are PRs to run special pipelines (too expensive to run on all branches), correct? I agree...

Being able to deal with external MRs in cases where you don't control the forks (e.g. if you're hosting an open source repo on gitlab.com) seems quite desirable, and I...

Thinking about it, the way forward with this would probably to do something similar like we're doing for `--batch` and generate a "synthetic" MR which we then merge manually. This...

The problem with statelessness is that this might never run: ``` finally: if reset: project.set_only_allow_merge_if_pipeline_succeeds(True, self._api) ``` To make it robust, you'd need to save the fact that you want...

Cool, I didn't know that you could configure api-created pipelines differently! Yup, that makes it much more attractive. I still suspect the way to go is the generalize our use...