If a repository is setup so it requires a github review, but the review has not been made, bors will fail to merge the PR, but not report anything on the PR. Would it be possible to produce a message in the PR so it’s noticeable similar to other build failures?
An example is https://github.com/killercup/rustfix/pull/51#issuecomment-358594384
Hey, I think this is fixed now via https://github.com/bors-ng/bors-ng/pull/362 by specifying required_approvals in your bors.toml.
Is it possible that this has regressed?
here we were unsure why bors wasn't running: a bors try when no review was submitted was failing silently. Adding a review, the bors try then worked.
I don’t think it regressed, but bors try doesn’t do the right thing.