From 36615a50537e2de1951dbe722f8e7a1191ff75d3 Mon Sep 17 00:00:00 2001 From: Urgau Date: Mon, 6 Oct 2025 19:20:23 +0200 Subject: [PATCH 1/2] Update to new `S-waiting-on-compiler` and `I-compiler-nominated` labels --- src/compiler-team.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler-team.md b/src/compiler-team.md index 8c0481f6e..79dfbdc82 100644 --- a/src/compiler-team.md +++ b/src/compiler-team.md @@ -54,8 +54,8 @@ They are held on [Zulip][zulip-meetings]. It works roughly as follows: those that are sufficiently important for us to actively track progress. P-critical and P-high bugs should ideally always have an assignee. -- **Check S-waiting-on-team and I-nominated issues:** These are issues where feedback from - the team is desired. +- **Check `S-waiting-on-compiler` and `I-compiler-nominated` issues:** These are issues where + feedback from the team is desired. - **Look over the performance triage report:** We check for PRs that made the performance worse and try to decide if it's worth reverting the performance regression or if the regression can be addressed in a future PR. From b83b1fee307ce0dc53bfe4d3fc58b5c75beff1ea Mon Sep 17 00:00:00 2001 From: Urgau Date: Tue, 7 Oct 2025 18:13:13 +0200 Subject: [PATCH 2/2] Add `t-` prefix to `S-waiting-on-compiler` label --- src/compiler-team.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler-team.md b/src/compiler-team.md index 79dfbdc82..9556811e8 100644 --- a/src/compiler-team.md +++ b/src/compiler-team.md @@ -54,7 +54,7 @@ They are held on [Zulip][zulip-meetings]. It works roughly as follows: those that are sufficiently important for us to actively track progress. P-critical and P-high bugs should ideally always have an assignee. -- **Check `S-waiting-on-compiler` and `I-compiler-nominated` issues:** These are issues where +- **Check `S-waiting-on-t-compiler` and `I-compiler-nominated` issues:** These are issues where feedback from the team is desired. - **Look over the performance triage report:** We check for PRs that made the performance worse and try to decide if it's worth reverting the performance regression or if