diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-07-26 15:28:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-26 15:28:01 +0200 |
| commit | d2d002ee89f80f57d7470456c21c660d93ee7997 (patch) | |
| tree | f8cd83eb5e4b953f8a44596d32a5f2692f96b522 /triagebot.toml | |
| parent | 86fbbb887f86e72637010bd95269578958636758 (diff) | |
| parent | b96f238308aa892825d6d75e359232e99f61b4a4 (diff) | |
| download | rust-d2d002ee89f80f57d7470456c21c660d93ee7997.tar.gz rust-d2d002ee89f80f57d7470456c21c660d93ee7997.zip | |
Rollup merge of #144427 - lolbinarycat:tidy-extra_checks-rename, r=Kobzol
rename ext_tool_checks to extra_checks and use mod.rs this makes the triagebot pings for this module simpler discussed in https://rust-lang.zulipchat.com/#narrow/channel/326414-t-infra.2Fbootstrap/topic/rename.20and.20reorganize.20ext_tool_checks.20module.3F/with/528398253 r? `@Kobzol`
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 6cfb744f0ac..894f56df741 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1097,7 +1097,7 @@ cc = ["@jieyouxu"] 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"] -[mentions."src/tools/tidy/src/ext_tool_checks.rs"] +[mentions."src/tools/tidy/src/extra_checks"] message = "`tidy` extra checks were modified." cc = ["@lolbinarycat"] |