From 7e2527d3ab306f30d17d381257683bb0418f8b9e Mon Sep 17 00:00:00 2001 From: binarycat Date: Wed, 9 Jul 2025 14:58:44 -0500 Subject: [PATCH] triagebot.toml: ping lolbinarycat if tidy extra checks were modified --- triagebot.toml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/triagebot.toml b/triagebot.toml index 4e3dff219f1d6..e3099289181c2 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1080,6 +1080,10 @@ 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"] +message = "`tidy` extra checks were modified." +cc = ["@lolbinarycat"] + [mentions."src/bootstrap/src/core/config"] message = """ This PR modifies `src/bootstrap/src/core/config`.