For bors to be allowed to merge a batch of PRs the "Require pull request reviews before merging" check needs to be disabled in the GitHub branch protection rules.
The unfortunate side effect of disabling that check is that the GitHub UI stops showing which owners still need to approve the PR. This means authors have to figure that out manually which is cumbersome and time consuming.
If GitHub doesn't show us the missing approvals maybe bors can tell us instead. So what about adding a new command like:
bors missing approvals
which will comment on the PR which owners (teams or individuals) still need to give their approvals?
This could be implemented by taking some of the logic from the