File tree Expand file tree Collapse file tree 1 file changed +9
-5
lines changed Expand file tree Collapse file tree 1 file changed +9
-5
lines changed Original file line number Diff line number Diff line change @@ -28,15 +28,19 @@ queue has been merged.
2828
29291 . Using the interface on [ Homu queue] , select a few pull requests and then use
3030 "rollup" button to make one. (The text about fairness can be ignored.)
31- 2 . Use the ` @bors r+ rollup=never p=<NUMBER_OF_PRS_IN_ROLLUP> ` command in the
32- pull request thread.
33- 3 . Mark the pull request with the label ` rollup ` .
34- 4 . If the rollup fails, use the logs rust-highfive (really it is
31+ 2 . Run the following command in the pull request thread:
32+
33+ ```
34+ @rustbot modify labels: +rollup
35+ @bors r+ rollup=never p=<NUMBER_OF_PRS_IN_ROLLUP>
36+ ````
37+
38+ 3. If the rollup fails, use the logs rust-highfive (really it is
3539 rust-log-analyzer) provides to bisect the failure to a specific PR and do
3640 `@bors r-`. If the PR is running, you need to do `@bors r- retry`. Otherwise,
3741 your rollup succeeded. If it did, proceed to the next rollup (every now and
3842 then let `rollup=never` and toolstate PRs progress).
39- 5 . Recreate the rollup without the offending PR starting again from ** 1.**
43+ 4 . Recreate the rollup without the offending PR starting again from **1.**
4044
4145## Selecting Pull Requests
4246
You can’t perform that action at this time.
0 commit comments