X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=triagebot.toml;h=ba9ed20cc64a2a271404bd005279b751be672b23;hb=5e6812b5977bfd8c7f1643b29392e554ce46e58d;hp=bebb583e100a4c44772e5223adfc960a2fd1cce4;hpb=bba00b58556523b0756611f8abedd3246d8767c8;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"]