diff options
| author | Urgau <3616612+Urgau@users.noreply.github.com> | 2025-04-09 20:29:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-09 20:29:19 +0200 |
| commit | 57c2a021a43bcbd8fe19490c540c3d2cffc0fb89 (patch) | |
| tree | ed6458ea0e03ae2af0a1f3031c9731b7a0fbc446 /src | |
| parent | 6c619bb9ee8ca96d505de616906603a269df380d (diff) | |
| download | rust-57c2a021a43bcbd8fe19490c540c3d2cffc0fb89.tar.gz rust-57c2a021a43bcbd8fe19490c540c3d2cffc0fb89.zip | |
triagebot: enable `[canonicalize-issue-links]` and `[no-mentions]`
Diffstat (limited to 'src')
| -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] |