diff --git a/homu/html/queue.html b/homu/html/queue.html index 84730f8a..1e227726 100644 --- a/homu/html/queue.html +++ b/homu/html/queue.html @@ -28,16 +28,39 @@ #search { width: 150px; } .hide { display: none; } th { cursor: pointer; } + #actual-rollup { background: #c7e2ff; border: #00acf7 3px double; border-radius: 5px; width: 75%; padding: 0 1em; }
- +
+This will create a new pull request consisting of 0 PRs.
+A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.
+When creating a real rollup, try to be fair to the PRs not rolled up. You may pick one of these strategies:
+Always include the first approved PR in the rollup. + Then give the new pull request the highest priority (p=100);
+or
+After creating the rollup, give it a fairly high priority (p=10), then assign + even higher priorties (p=20, ...) to every PRs older than the oldest rolled up PR.
++ + — + +
+{{ total }} total, {{ approved }} approved, {{ rolled_up }} rolled up, {{ failed }} failed / @@ -91,9 +114,17 @@