...
If you'd like Craig to build your PR without merging to master, you can say bors try.
For
...
non-
...
master branches
Bors is only configured to work for the master branch. For all other branches, manually merge using the GitHub Merge button.
...