Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-26 13:01:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Do not ping kobzol on rustc-dev-guide changes

Browse Source
This commit is contained in:
Jakub Beránek
2026-03-02 19:26:30 +01:00
parent 8ddf4ef064
commit 778e602bb5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
triagebot.toml
+1 -1
View File
@@ -1371,7 +1371,7 @@ cc = ["@ehuss"]
[mentions."src/doc/rustc-dev-guide"]
message = "The rustc-dev-guide subtree was changed. If this PR *only* touches the dev guide consider submitting a PR directly to [rust-lang/rustc-dev-guide](https://github.com/rust-lang/rustc-dev-guide/pulls) otherwise thank you for updating the dev guide with your changes."
cc = ["@BoxyUwU", "@jieyouxu", "@kobzol", "@tshepang"]
cc = ["@BoxyUwU", "@jieyouxu", "@tshepang"]
[mentions."compiler/rustc_passes/src/check_attr.rs"]
cc = ["@jdonszelmann", "@JonathanBrouwer"]