Rollup merge of rust-lang#131232 - jieyouxu:docs-week, r=bjorn3

GuillaumeGomez · web-flow · commit 6d69af72bf10 · 2024-10-04T15:42:55.000+02:00
Week off of reviews to focus on docs

Dedicating a week to work on rustc-dev-guide.
Should be back on Oct. 11/12.
diff --git a/triagebot.toml b/triagebot.toml
@@ -925,6 +925,7 @@ users_on_vacation = [
     "jhpratt",
     "jyn514",
     "oli-obk",
+    "jieyouxu",
 ]
 
 [assign.adhoc_groups]
