Rollup merge of #132284 - camelid:rm-ping, r=workingjubilee

Remove my ping for rustdoc/clean/types.rs It was useful at one time, but now it just causes notification noise.
rust-lang · Oct 29, 2024 · 3eb7ddd · 3eb7ddd
2 parents 29a7ca9 + d4774ff
commit 3eb7ddd
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/triagebot.toml b/triagebot.toml
@@ -725,9 +725,6 @@ please modify the tool then regenerate the library source file with the tool
 instead of editing the library source file manually.
 """
 
-[mentions."src/librustdoc/clean/types.rs"]
-cc = ["@camelid"]
-
 [mentions."src/librustdoc/html/static"]
 message = "Some changes occurred in HTML/CSS/JS."
 cc = [