Sarah Mount

I must admit that whenever I've raised a PR for this project I've just turned TravisCI on for my fork, rather than trying to navigate Nix, but perhaps that's just...

Yes, it was certainly the developer experience that I was thinking about!

Maybe I have misunderstood, but I think you could just do this with [GitLab pipeline rules](https://docs.gitlab.com/ee/ci/yaml/#rules) and the [predefined variables](https://docs.gitlab.com/ee/ci/variables/predefined_variables.html) and ignore Marge altogether. I think you want something like...

> Ping @snim2. Any chance someone could review this within the near future? I've left you a comment, but I don't have rights to merge anything in this repo BTW!

My understanding is that Marge will always trigger a new pipeline on the target branch after the merge, but usually Marge rebases and force-pushes to the source branch before the...

I'm not sure whether it's just me, but I'm a bit confused here. If you set Marge to add a trailer on the MR commit messages, then the bot will...

Personally, I'd be inclined to set up a spike repo with the same `.gitlab-ci.yml` but replace all the `script`s with no-ops, and see how you go. That way you can...

Maybe! Another option might be to call this function which implements a simple linear backoff: https://github.com/smarkets/marge-bot/pull/265/files -- BTW do you know why this error occurs?

That's interesting @nirizr - I'm not sure whether my PR would fix this or not. My changes assume that the MR is good to merge, but that the GitLab API...

Hi @nirizr I'm not a maintainer of this project, so I can't help with merging your change. I think it would be useful to confirm that the bug still occurs...