Rollup merge of #135129 - jieyouxu:tag-r-d-g, r=BoxyUwU

triagebot: label `src/doc/rustc-dev-guide` changes with `A-rustc-dev-guide`

Probably should also create a dev-guide reviewer pool for this repo 🤔

r? ``@Kobzol``
This commit is contained in:
Matthias Krüger 2025-01-06 08:09:04 +01:00 committed by GitHub
commit bb2c4ad331
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -498,6 +498,11 @@ trigger_files = [
"src/tools/compiletest"
]
[autolabel."A-rustc-dev-guide"]
trigger_files = [
"src/doc/rustc-dev-guide",
]
[notify-zulip."I-prioritize"]
zulip_stream = 245100 # #t-compiler/wg-prioritization/alerts
topic = "#{number} {title}"