From 960d9c50244dbbe5c1984c71ff0b649014dec8a3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 17 Jul 2026 22:08:47 +0200 Subject: [PATCH] triagebot: tweak wording for miri changes message --- triagebot.toml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/triagebot.toml b/triagebot.toml index e817e99ddf375..d1e6592d9f5fd 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1182,10 +1182,10 @@ new or modified directive in `src/doc/rustc-dev-guide/`. [mentions."src/tools/miri"] message = """ -`miri` is developed in its own repository. If possible, consider \ -making this change to \ -[rust-lang/miri](https://github.com/rust-lang/miri) \ -instead. +`miri` is developed in its own repository. If the Miri part of this change \ +can be broken out, consider making this change to \ +[rust-lang/miri](https://github.com/rust-lang/miri) instead. \ +However, if Miri needs adjusting for rustc changes, just ignore this message. """ cc = ["@rust-lang/miri"]