Seamlessly integrate Bors into the Github review UI
Visual chrome for using Bors' Github integration with the Chrome Browser.
Replace the existing merge options on a Github Pull Request with a button that comments on the Pull Request with "bors r+" .