From 9375b35ebb7aee90ba2033528bb7349900b7b552 Mon Sep 17 00:00:00 2001 From: onur-ozkan Date: Sat, 16 Sep 2023 19:44:50 +0300 Subject: [PATCH] Add triagebot notification for bootstrap config changes Signed-off-by: onur-ozkan --- triagebot.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/triagebot.toml b/triagebot.toml index 39c18a55697b8..238dc0087fd6f 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -566,6 +566,9 @@ 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."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"]