Love the bot!
I have a self-hosted setup and the bot works, but I had the idea of writing another "smaller" one to decide if a PR is to be auto merged and leave a comment.
The problem I'm hitting is that I'm not sure how to allow that other bot (probot GitHub app) to "bors r+".
Existing reviewers: click here to make a reviewer.
That doesn't work since the bots aren't GitHub users.
Is there a way to allow other bots to be recognized contributors?