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

Require four eyes

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