diff options
| author | Zephaniah Ong <zealorez@gmail.com> | 2023-02-14 13:56:19 +0800 |
|---|---|---|
| committer | Zephaniah Ong <zealorez@gmail.com> | 2023-02-14 13:56:19 +0800 |
| commit | 2a5a1a89d354ed6f660e63fb95c86ffe9e3676f3 (patch) | |
| tree | a5a8c3d06833754102690a102e54489609f573b7 | |
| parent | 5348a89a77a49f6f57c13c0edf7f493fd410159a (diff) | |
| download | rust-2a5a1a89d354ed6f660e63fb95c86ffe9e3676f3.tar.gz rust-2a5a1a89d354ed6f660e63fb95c86ffe9e3676f3.zip | |
add message to update Cargo.toml when x is changed
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 62a99b70438..8d7e237e44d 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/src/main.rs"] +message = "`src/tools/x/src/main.rs` was changed. Bump version of Cargo.toml in `src/tools/x` ." + [assign] warn_non_default_branch = true contributing_url = "https://rustc-dev-guide.rust-lang.org/contributing.html" |