triagebot: remove myself from some mention groups

I haven't worked in these areas for a little while, but happy to still be
pinged if someone wanted.
This commit is contained in:
David Wood
2026-03-10 13:11:00 +00:00
parent 3bc6ea5673
commit 1384f66c1c
+3 -3
View File
@@ -1177,7 +1177,7 @@ cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@vakaras"]
[mentions."compiler/rustc_error_messages"]
message = "`rustc_error_messages` was changed"
cc = ["@davidtwco", "@TaKO8Ki"]
cc = ["@TaKO8Ki"]
[mentions."compiler/rustc_errors/src/annotate_snippet_emitter_writer.rs"]
message = "`rustc_errors::annotate_snippet_emitter_writer` was changed"
@@ -1189,11 +1189,11 @@ cc = ["@Muscraft"]
[mentions."compiler/rustc_errors/src/formatting.rs"]
message = "`rustc_errors::formatting` was changed"
cc = ["@davidtwco", "@TaKO8Ki", "@JonathanBrouwer"]
cc = ["@TaKO8Ki", "@JonathanBrouwer"]
[mentions."compiler/rustc_macros/src/diagnostics"]
message = "`rustc_macros::diagnostics` was changed"
cc = ["@davidtwco", "@TaKO8Ki", "@JonathanBrouwer"]
cc = ["@TaKO8Ki", "@JonathanBrouwer"]
[mentions."compiler/rustc_public"]
message = "This PR changes rustc_public"