From 778e602bb533e962ce838d410b1625014fa531a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Mon, 2 Mar 2026 19:26:30 +0100 Subject: [PATCH] Do not ping kobzol on rustc-dev-guide changes --- triagebot.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index 7e4c9c1644ae1..b1675e00f0df7 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1371,7 +1371,7 @@ cc = ["@ehuss"] [mentions."src/doc/rustc-dev-guide"] message = "The rustc-dev-guide subtree was changed. If this PR *only* touches the dev guide consider submitting a PR directly to [rust-lang/rustc-dev-guide](https://github.com/rust-lang/rustc-dev-guide/pulls) otherwise thank you for updating the dev guide with your changes." -cc = ["@BoxyUwU", "@jieyouxu", "@kobzol", "@tshepang"] +cc = ["@BoxyUwU", "@jieyouxu", "@tshepang"] [mentions."compiler/rustc_passes/src/check_attr.rs"] cc = ["@jdonszelmann", "@JonathanBrouwer"]