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"]