nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-10-29 21:41:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Remove my ping for rustdoc/clean/types.rs

It was useful at one time, but now it just causes notification noise.
This commit is contained in:
Jubilee 2024-10-29 03:11:44 -07:00 committed by GitHub
commit 3eb7dddfed
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
triagebot.toml
View File

@ -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 = [