Bors r+ - wait for CI to succeed

We have bors set up to require Jenkins CI to pass before allowing a merge. If you try to bors r+ while CI is still running, bors rejects your request because CI isn’t green yet. It would be nice if instead it would wait for CI to report, and automatically add the PR to the queue if CI then passed. This way you wouldn’t have to babysit a PR and wait for CI to pass before queuing the PR. Is this a way to make bors do this?


@notriddle Does this seem like something that would be: (1) technically feasible, and (2) worth adding to Bors?

If so, I can work on writing up an RFC, and maybe eventually even a pull request implementing it.

Yes to all three of them.

thanks for the awesome information.