diff options
| -rw-r--r-- | triagebot.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 7494e546ed5..9f8ea2dad52 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1092,6 +1092,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`. |