user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

triagebot: enable [canonicalize-issue-links] and [no-mentions]

Browse source
This commit is contained in:
Urgau 2025-04-09 20:29:19 +02:00 • committed by GitHub
parent 6c619bb9ee
commit 57c2a021a4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tools/miri/triagebot.toml
View file

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