Browse files

Add priority to the documentation

  • Loading branch information...
notriddle committed Jul 23, 2018
1 parent f8d4b2c commit a9f3974bd93a685f0ec508de6f993c420273d00a
Showing with 2 additions and 0 deletions.
  1. +2 −0 _documentation/
@@ -20,6 +20,8 @@ description: All of the commands and configuration options supported by bors-ng
| bors delegate=[list] | Allow the listed users to r+ this pull request's changes.
| bors ping | Will respond if bors is set up.
| bors retry | Run the previous command a second time.
| bors p=[priority] | Set the priority of the current pull request
| bors r+ p=[priority] | Set the priority, run the test suite, and push to master (shorthand for doing p= and r+ one after the other)

The keyword (`bors`) may be separated with a space or a colon. That is, `bors try` and `bors: try` are the same thing.
Also, the command will be recognized if, and only if, the word "bors" is at the beginning of a line.

0 comments on commit a9f3974

Please sign in to comment.