Merge from rustc

[rust.git] / triagebot.toml

diff --git a/triagebot.toml b/triagebot.toml
index 46a3bab42a17e21364007d6c5657b206012a99e6..0da9fcddad8d7f92de0a12eb00de884ec9deb623 100644 (file)
--- a/triagebot.toml
+++ b/triagebot.toml
@@ -342,6 +342,10 @@ cc = ["@BoxyUwU"]
 message = "Some changes occured in `rustc_ty_utils::consts.rs`"
 cc = ["@BoxyUwU"]
 
+[mentions."compiler/rustc_trait_selection/src/solve/"]
+message = "Some changes occurred to the core trait solver"
+cc = ["@lcnr"]
+
 [mentions."compiler/rustc_trait_selection/src/traits/engine.rs"]
 message = """
 Some changes occurred in engine.rs, potentially modifying the public API \
@@ -492,7 +496,6 @@ infra-ci = [
 rustdoc = [
     "@jsha",
     "@GuillaumeGomez",
-    "@CraftSpider",
     "@notriddle",
 ]
 docs = [