diff options
| author | Noah Lev <camelidcamel@gmail.com> | 2024-10-28 14:32:40 -0400 |
|---|---|---|
| committer | Noah Lev <camelidcamel@gmail.com> | 2024-10-28 14:32:40 -0400 |
| commit | d4774ff4abc7a16f4a9623b29e7e1e86ff4fb776 (patch) | |
| tree | 2226e61de873558034786888fcced09af9b15f4a | |
| parent | 9f57edf2e261ade3c926d69459162057f15164d6 (diff) | |
| download | rust-d4774ff4abc7a16f4a9623b29e7e1e86ff4fb776.tar.gz rust-d4774ff4abc7a16f4a9623b29e7e1e86ff4fb776.zip | |
Remove my ping for rustdoc/clean/types.rs
It was useful at one time, but now it just causes notification noise.
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/triagebot.toml b/triagebot.toml index 2e8851e7ec2..baf0da467e1 100644 --- 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 = [ |