X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=triagebot.toml;h=ba9ed20cc64a2a271404bd005279b751be672b23;hb=5ad7a646a5df1c7e37fc4529f0f1000091ac902d;hp=bebb583e100a4c44772e5223adfc960a2fd1cce4;hpb=d708bc45c4092432f87090c1624c25bf76f49d9e;p=rust.git

diff --git a/triagebot.toml b/triagebot.toml
index bebb583e100..ba9ed20cc64 100644
--- a/triagebot.toml
+++ b/triagebot.toml
@@ -316,7 +316,12 @@ cc = ["@ehuss"]
 cc = ["@rust-lang/clippy"]
 
 [mentions."src/tools/miri"]
+message = "The Miri submodule was changed"
 cc = ["@rust-lang/miri"]
 
 [mentions."src/tools/rustfmt"]
 cc = ["@rust-lang/rustfmt"]
+
+[mentions."compiler/rustc_middle/src/mir/syntax.rs"]
+message = "This PR changes MIR"
+cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval"]