File tree Expand file tree Collapse file tree 1 file changed +1
-12
lines changed Expand file tree Collapse file tree 1 file changed +1
-12
lines changed Original file line number Diff line number Diff line change @@ -137,18 +137,7 @@ <h1>Homu queue - {% if repo_url %}<a href="{{repo_url}}" target="_blank">{{repo_
137
137
< div id ="actual-rollup " class ="hide ">
138
138
< p > This will create a new pull request consisting of < span id ="checkbox-count "> 0</ span > PRs.</ p >
139
139
< p > A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.</ p >
140
- < p > When creating a real rollup, try to be fair to the PRs not rolled up. You may pick one of these strategies:</ p >
141
- < ul >
142
- < li >
143
- < p > Always include the first < span class ="approved "> approved</ span > PR in the rollup.
144
- Then give the new pull request the highest priority (p=100);</ p >
145
- < p > < i > or</ i > </ p >
146
- </ li >
147
- < li >
148
- < p > After creating the rollup, give it a fairly high priority (p=10), then assign
149
- even higher priorties (p=20, ...) to every PRs older than the oldest rolled up PR.</ p >
150
- </ li >
151
- </ ul >
140
+ < p > When creating a real rollup, see < a href ="https://forge.rust-lang.org/release/rollups.html "> this instruction</ a > for reference.</ p >
152
141
< p >
153
142
< button type ="button " id ="rollup "> Rollup</ button >
154
143
—
You can’t perform that action at this time.
0 commit comments