From ab96352254fca2561f014aa6c7166bc1583ddb7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E8=AE=B8=E6=9D=B0=E5=8F=8B=20Jieyou=20Xu=20=28Joe=29?=
 <39484203+jieyouxu@users.noreply.github.com>
Date: Wed, 5 Mar 2025 22:28:51 +0800
Subject: [PATCH] Mention `r? compiler_leads` in adding a new target process

---
 src/compiler/proposals-and-stabilization.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/compiler/proposals-and-stabilization.md b/src/compiler/proposals-and-stabilization.md
index 8bfded58d..946e5ecef 100644
--- a/src/compiler/proposals-and-stabilization.md
+++ b/src/compiler/proposals-and-stabilization.md
@@ -246,6 +246,7 @@ circumstance.
 - Proposing a new target
   - **Propose using:** PR
   - **Approve using:** r+ (compiler leads)
+  - You can `r? compiler_leads` on the PR to roll one of the compiler leads as the reviewer.
   - Open a PR with the new target (w/ relevant documentation updates) and document adherence to the
     [target tier policy][tier_policy] in the description. New targets must start as tier three
   - New targets should be assigned to the compiler team co-leads to check for any licensing