From 1967264dd7f4611a668f8c6a3702b1a88de1902d Mon Sep 17 00:00:00 2001 From: Michael Rothgang Date: Tue, 18 Aug 2026 15:12:39 +0200 Subject: [PATCH 1/2] fix: outdated link in new contributor welcome comment --- .github/workflows/label_new_contributor.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/label_new_contributor.yml b/.github/workflows/label_new_contributor.yml index 9e64636bb119b0..4064032112a0a5 100644 --- a/.github/workflows/label_new_contributor.yml +++ b/.github/workflows/label_new_contributor.yml @@ -106,7 +106,7 @@ jobs: ## Welcome new contributor! Thank you for contributing to Mathlib! If you haven't done so already, please review our [contribution guidelines](https://leanprover-community.github.io/contribute/index.html), as well as the [style guide](https://leanprover-community.github.io/contribute/style.html) and [naming conventions](https://leanprover-community.github.io/contribute/naming.html). In particular, we kindly remind contributors that we have [guidelines](https://leanprover-community.github.io/contribute/index.html#use-of-ai) regarding the use of AI when making pull requests. - We use a [review queue](https://leanprover-community.github.io/queueboard/review_dashboard.html) to manage reviews. If your PR does not appear there, it is probably because it is not successfully building (i.e., it doesn't have a green checkmark), has the `awaiting-author` tag, or another reason described in the [Lifecycle of a PR](https://leanprover-community.github.io/contribute/index.html#lifecycle-of-a-pr). The review dashboard has [a dedicated webpage](https://leanprover-community.github.io/queueboard/on_the_queue.html?search=${{ github.event.pull_request.number }}) which shows whether your PR is on the review queue, and (if not), why. + We use a [review queue](https://leanprover-community.github.io/queueboard/review_dashboard.html) to manage reviews. If your PR does not appear there, it is probably because it is not successfully building (i.e., it doesn't have a green checkmark), has the `awaiting-author` tag, or another reason described in the [Lifecycle of a PR](https://leanprover-community.github.io/contribute/how-to-contribute.html#lifecycle-of-a-pr). The review dashboard has [a dedicated webpage](https://leanprover-community.github.io/queueboard/on_the_queue.html?search=${{ github.event.pull_request.number }}) which shows whether your PR is on the review queue, and (if not), why. If you haven't already done so, please come to [https://leanprover.zulipchat.com/](https://leanprover.zulipchat.com/), introduce yourself, and mention your new PR. From e8f038db3d7a7540510272e9cdf8db55189f692a Mon Sep 17 00:00:00 2001 From: Michael Rothgang Date: Tue, 18 Aug 2026 15:13:50 +0200 Subject: [PATCH 2/2] doc: remove suggest for self-introduction from new contributor welcome comment I'm not sure we always want to encourage this (and it's mostly not followed in practice anyway). --- .github/workflows/label_new_contributor.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/label_new_contributor.yml b/.github/workflows/label_new_contributor.yml index 4064032112a0a5..db1e95d1a7ec18 100644 --- a/.github/workflows/label_new_contributor.yml +++ b/.github/workflows/label_new_contributor.yml @@ -108,6 +108,4 @@ jobs: We use a [review queue](https://leanprover-community.github.io/queueboard/review_dashboard.html) to manage reviews. If your PR does not appear there, it is probably because it is not successfully building (i.e., it doesn't have a green checkmark), has the `awaiting-author` tag, or another reason described in the [Lifecycle of a PR](https://leanprover-community.github.io/contribute/how-to-contribute.html#lifecycle-of-a-pr). The review dashboard has [a dedicated webpage](https://leanprover-community.github.io/queueboard/on_the_queue.html?search=${{ github.event.pull_request.number }}) which shows whether your PR is on the review queue, and (if not), why. - If you haven't already done so, please come to [https://leanprover.zulipchat.com/](https://leanprover.zulipchat.com/), introduce yourself, and mention your new PR. - Thank you again for joining our community.