Skip to content

Commit d0ea07e

Browse files
authored
Merge pull request #4259 from Urgau/triagebot-new-feat
triagebot: enable `[canonicalize-issue-links]` and `[no-mentions]`
2 parents 6c619bb + 57c2a02 commit d0ea07e

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

Diff for: src/tools/miri/triagebot.toml

+6
Original file line numberDiff line numberDiff line change
@@ -40,3 +40,9 @@ unless = ["S-blocked", "S-waiting-on-team", "S-waiting-on-review"]
4040

4141
# Automatically close and reopen PRs made by bots to run CI on them
4242
[bot-pull-requests]
43+
44+
# Canonicalize issue numbers to avoid closing the wrong issue when upstreaming this subtree
45+
[canonicalize-issue-links]
46+
47+
# Prevents mentions in commits to avoid users being spammed
48+
[no-mentions]

0 commit comments

Comments
 (0)