diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2025-04-09 18:56:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-09 18:56:17 +0000 |
| commit | d0ea07e9084ace9879384e55e90d5d2625458120 (patch) | |
| tree | ed6458ea0e03ae2af0a1f3031c9731b7a0fbc446 | |
| parent | 6c619bb9ee8ca96d505de616906603a269df380d (diff) | |
| parent | 57c2a021a43bcbd8fe19490c540c3d2cffc0fb89 (diff) | |
| download | rust-d0ea07e9084ace9879384e55e90d5d2625458120.tar.gz rust-d0ea07e9084ace9879384e55e90d5d2625458120.zip | |
Merge pull request #4259 from Urgau/triagebot-new-feat
triagebot: enable `[canonicalize-issue-links]` and `[no-mentions]`
| -rw-r--r-- | src/tools/miri/triagebot.toml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 4e013764d87..60e80c3f673 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -40,3 +40,9 @@ unless = ["S-blocked", "S-waiting-on-team", "S-waiting-on-review"] # Automatically close and reopen PRs made by bots to run CI on them [bot-pull-requests] + +# Canonicalize issue numbers to avoid closing the wrong issue when upstreaming this subtree +[canonicalize-issue-links] + +# Prevents mentions in commits to avoid users being spammed +[no-mentions] |