Bors r+ - wait for CI to succeed


#1

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?