user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #144771 - jieyouxu:noisy-ping, r=jieyouxu

Browse source 
Remove some noisy triagebot pings for myself

r? ghost
This commit is contained in:
Ralf Jung 2025-08-01 09:59:05 +02:00 • committed by GitHub
commit feac604509
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
triagebot.toml
View file

@ -1006,10 +1006,6 @@ cc = [
message = "Some changes occurred in GUI tests."
cc = ["@GuillaumeGomez"]
[mentions."tests/run-make/"]
message = "This PR modifies `run-make` tests."
cc = ["@jieyouxu"]
[mentions."tests/auxiliary/minicore.rs"]
message = "This PR modifies `tests/auxiliary/minicore.rs`."
cc = ["@jieyouxu"]
@ -1104,10 +1100,6 @@ Otherwise, you can ignore this comment.
[mentions."src/tools/x"]
message = "`src/tools/x` was changed. Bump version of Cargo.toml in `src/tools/x` so tidy will suggest installing the new version."
[mentions."src/tools/tidy"]
message = "There are changes to the `tidy` tool."
cc = ["@jieyouxu"]
[mentions."src/tools/tidy/src/deps.rs"]
message = "The list of allowed third-party dependencies may have been modified! You must ensure that any new dependencies have compatible licenses before merging."
cc = ["@davidtwco", "@wesleywiser"]