PRs requiring reviews fail bors silently

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

Hey, I think this is fixed now via by specifying required_approvals in your bors.toml.

1 Like

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.