Merge pull request #132 from JohnTitor/rollup-procedure

Add a link to the rollup procedure on the forge

Author: pietroalbini

homu/html/queue.html

@@ -137,18 +137,7 @@ <h1>Homu queue - {% if repo_url %}<a href="{{repo_url}}" target="_blank">{{repo_
         <div id="actual-rollup" class="hide">
             <p>This will create a new pull request consisting of <span id="checkbox-count">0</span> PRs.</p>
             <p>A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.</p>
-            <p>When creating a real rollup, try to be fair to the PRs not rolled up. You may pick one of these strategies:</p>
-            <ul>
-                <li>
-                    <p>Always include the first <span class="approved">approved</span> PR in the rollup.
-                    Then give the new pull request the highest priority (p=100);</p>
-                    <p><i>or</i></p>
-                </li>
-                <li>
-                    <p>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.</p>
-                </li>
-            </ul>
+            <p>When creating a real rollup, see <a href="https://forge.rust-lang.org/release/rollups.html">this instruction</a> for reference.</p>
             <p>
                 <button type="button" id="rollup">Rollup</button>
                 —