triagebot: remove a ping for jieyouxu

This commit is contained in:
Jieyou Xu
2026-03-04 22:09:02 +08:00
parent b90dc1e597
commit c9529f361c
+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", "@tshepang"]
cc = ["@BoxyUwU", "@tshepang"]
[mentions."compiler/rustc_passes/src/check_attr.rs"]
cc = ["@jdonszelmann", "@JonathanBrouwer"]