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?
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.