Bors

Repositories

• rust

Commands

Commands must be posted as comments on the PR and mention the bot account (@bors).

You can use the following commands:

PR management

• r+ [p=<priority>] [rollup=<never|iffy|maybe|always>]: Approve this PR on your behalf
  • Optionally, you can specify the <priority> of the PR and if it is eligible for rollups (<rollup>).
• r=<user> [p=<priority>] [rollup=<never|iffy|maybe|always>]: Approve this PR on behalf of <user>
  • Optionally, you can specify the <priority> of the PR and if it is eligible for rollups (<rollup>).
  • You can pass a comma-separated list of GitHub usernames.
• r-: Unapprove this PR
• p=<priority> or priority=<priority>: Set the priority of this PR
• rollup=<never|iffy|maybe|always>: Set the rollup status of the PR
• rollup: Short for rollup=always
• rollup-: Short for rollup=maybe
• delegate[=<user>] [try|review]: Delegate permissions for running try builds or approving to the PR author or the specified <user>.
  • If no <user> is specified, the PR author is delegated the permission.
  • The default permission is review.
  • try allows the delegatee to start try builds.
  • review allows the delegatee to both start try builds and approve the PR.
• delegate | delegate+: Delegate approval permissions to the PR author
  • Shortcut for delegate review
• delegate-: Remove any previously granted permission delegation
• try [parent=<parent>] [job|jobs=<jobs>]: Start a try build.
  • Optionally, you can specify a <parent> SHA with which will the PR be merged. You can specify parent=last to use the same parent SHA as the previous try build.
  • Optionally, you can select a comma-separated list of CI <jobs> to run in the try build. Examples:
    • @bors try jobs=x86_64-gnu-nopt
    • @bors try jobs=x86_64-gnu-nopt,x86_64-mingw-* (matches x86_64-gnu-nopt and jobs starting with x86_64-mingw-)
• try cancel: Cancel a running try build on the current PR.
• retry: Clear a failed auto build status from an approved PR. This will cause the merge queue to eventually attempt to merge the PR again.
• cancel | yield: Cancel a running auto build on the current PR.
• squash [msg|message=<commit-message>]: Squash the commits of a PR into a single commit.
  • Optionally, you can specify a <commit-message> for the created commit. If not specified, the commit messages of all squashed commits will be combined.
• info: Get information about the current PR

Repository management

• treeclosed=<priority>: Close the tree for PRs with priority less than <priority>
• treeclosed- or treeopen: Open the repository tree for merging

Meta commands

• ping: Check if the bot is alive
• help: Print this help message