Mathlib #queue

diff --git a/templates/contribute/index.md b/templates/contribute/index.md index 417d8794e..a46c69caa 100644 --- a/templates/contribute/index.md +++ b/templates/contribute/index.md @@ -109,15 +109,15 @@ below the `---`. ## Lifecycle of a PR -Many reviewers use the [review queue](https://bit.ly/4eIDoOJ) to identify PRs that are ready for review. +Many reviewers use the [review queue](../queue-redirect) to identify PRs that are ready for review. The instructions below will ensure that your PR appears on that queue; if it doesn't appear there it may not receive much attention. Everyone is also invited to regularly look at the queue (it is linkified as `#queue` on Zulip), and write reviews of PRs within their expertise. -The review queue is controlled by GitHub "labels". +The review queue is controlled by GitHub "labels". On the main page for a PR, on the right-hand side, there should be a sidebar with panels "reviewers", "assignees", "labels", etc. Click on the "labels" header to add or remove labels from the current project. -(Labels can only be edited by "GitHub collaborators", which is approximately the same as "people who have asked for write access".) +(Labels can only be edited by "GitHub collaborators", which is approximately the same as "people who have asked for write access".) If your PR builds (has a green checkmark), someone will probably "review" it within a few days (depending on the size of the PR; smaller PRs will get quicker responses). The reviewer will probably leave comments and add the label **"awaiting-author"**. You should address each comment, clicking the "resolve conversation" button once the problem is resolved. Ideally each problem is resolved with a new commit, but there is no hard rule here. Once all requested changes are implemented, you should remove the **"awaiting-author"** label to start the process over again. diff --git a/templates/queue-redirect.html b/templates/queue-redirect.html new file mode 100644 index 000000000..874115a1d --- /dev/null +++ b/templates/queue-redirect.html @@ -0,0 +1,14 @@ + + + + + + + Mathlib #queue + + + If you are not redirected automatically, follow this link to the mathlib #queue. + +