Skip to content

Commit 36f9e35

Browse files
authored
Suggest to bump priority of high priority PRs (#373)
* Fix typo * Bump priority of high priority PRs
1 parent da4d2d2 commit 36f9e35

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

src/compiler/reviews.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,14 +19,20 @@ contributor](./membership.md) will leave a comment like `@bors r+`.
1919
This indicates that they approve the PR.
2020

2121
People with bors privileges may also leave a `@bors r=username`
22-
command. This indicates that the PR was already apporved by
22+
command. This indicates that the PR was already approved by
2323
`@username`. This is commonly done after rebasing.
2424

2525
Finally, in some cases, PRs can be "delegated" by writing `@bors
2626
delegate+` or `@bors delegate=username`. This will allow the PR author
2727
to approve the PR by issuing `@bors` commands like the ones above
2828
(but this privilege is limited to the single PR).
2929

30+
## High priority issues
31+
32+
When merging high priority issues (`P-critical` and `P-high`) it's
33+
recommended to avoid rollups and bump a bit the priority of the PR in
34+
the homu queue by issuing `@bors r+ rollup=never p=1`.
35+
3036
## Expectations for r+
3137

3238
bors privileges are binary: the bot doesn't know which code you are

0 commit comments

Comments
 (0)