Add a `[bors r+]` button to GitHub's PR Review interface - View it on GitHub