Remove some noisy triagebot pings

This commit is contained in:
Jieyou Xu 2025-08-01 14:52:00 +08:00
parent 919c409243
commit 89b4bb66d8
No known key found for this signature in database
GPG key ID: 045B995028EA6AFC

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"]