diff options
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 62a99b70438..883bc8720e2 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -468,6 +468,9 @@ This was probably unintentional and should be reverted before this PR is merged. If this was intentional then 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." + [assign] warn_non_default_branch = true contributing_url = "https://rustc-dev-guide.rust-lang.org/contributing.html" |