diff options
| author | onur-ozkan <work@onurozkan.dev> | 2023-10-01 16:55:46 +0300 |
|---|---|---|
| committer | onur-ozkan <work@onurozkan.dev> | 2023-10-01 16:55:46 +0300 |
| commit | 7d3dcd918eb1f1308a1d901821ede3041d563ae9 (patch) | |
| tree | 0cec64d51a6cb8f90e34e136543fc3a3462c30d5 | |
| parent | 78eed2dfe129ce8ee0f7acf537030e2b5e35c3ce (diff) | |
| download | rust-7d3dcd918eb1f1308a1d901821ede3041d563ae9.tar.gz rust-7d3dcd918eb1f1308a1d901821ede3041d563ae9.zip | |
add triagebot notification for bootstrap config changes
Signed-off-by: onur-ozkan <work@onurozkan.dev>
| -rw-r--r-- | triagebot.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 39c18a55697..edd2891087d 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -566,6 +566,11 @@ message = "`src/tools/x` was changed. Bump version of Cargo.toml in `src/tools/x message = "Third-party dependency whitelist may have been modified! You must ensure that any new dependencies have compatible licenses before merging." cc = ["@davidtwco", "@wesleywiser"] +[mentions."src/bootstrap/config.rs"] +message = "This PR changes `src/bootstrap/config.rs`. If appropriate, please also update `CONFIG_CHANGE_HISTORY` in `src/bootstrap/lib.rs` and `change-id` in `config.example.toml`." +[mentions."config.example.toml"] +message = "This PR changes `config.example.toml`. If appropriate, please also update `CONFIG_CHANGE_HISTORY` in `src/bootstrap/lib.rs` and `change-id` in `config.example.toml`." + [mentions."src/bootstrap/defaults/config.compiler.toml"] message = "This PR changes src/bootstrap/defaults/config.compiler.toml. If appropriate, please also update `config.codegen.toml` so the defaults are in sync." [mentions."src/bootstrap/defaults/config.codegen.toml"] |