about summary refs log tree commit diff
diff options
context:
space:
mode:
authorxizheyin <xizheyin@smail.nju.edu.cn>2025-06-26 22:50:31 +0800
committerxizheyin <xizheyin@smail.nju.edu.cn>2025-06-28 15:37:54 +0800
commit98c347049ec4d0d942740ddf462cc9c1bb64fd96 (patch)
treeba199daf181e4bc62f25d4e2df4aa72116147495
parentfe2fd8a2d3fce02b07c7a15072812d86092dcbaf (diff)
downloadrust-98c347049ec4d0d942740ddf462cc9c1bb64fd96.tar.gz
rust-98c347049ec4d0d942740ddf462cc9c1bb64fd96.zip
Add a link to rust-forge to explain where rdg changes should be submitted
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
-rw-r--r--src/doc/rustc-dev-guide/src/contributing.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/contributing.md b/src/doc/rustc-dev-guide/src/contributing.md
index 46d74b96734..b3fcd79ec81 100644
--- a/src/doc/rustc-dev-guide/src/contributing.md
+++ b/src/doc/rustc-dev-guide/src/contributing.md
@@ -434,6 +434,10 @@ Just a few things to keep in mind:
   it might benefit from having a Table of Contents at the beginning,
   which you can auto-generate by including the `<!-- toc -->` marker at the top.
 
+#### ⚠️ Note: Where to contribute `rustc-dev-guide` changes
+
+For detailed information about where to contribute rustc-dev-guide changes and the benefits of doing so, see [the rustc-dev-guide working group documentation](https://forge.rust-lang.org/wg-rustc-dev-guide/index.html#where-to-contribute-rustc-dev-guide-changes).
+
 ## Issue triage
 
 Please see <https://forge.rust-lang.org/release/issue-triaging.html>.