]> git.lizzy.rs Git - rust.git/blobdiff - triagebot.toml
Build the Clippy book as part of x.py doc
[rust.git] / triagebot.toml
index bebb583e100a4c44772e5223adfc960a2fd1cce4..ba9ed20cc64a2a271404bd005279b751be672b23 100644 (file)
@@ -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"]