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

Merge pull request #4755 from Urgau/triagebot-remove-no-mentions

Browse source 
Remove `[no-mentions]` handler in the triagebot config
This commit is contained in:
Ralf Jung 2025-12-08 18:57:24 +00:00 • committed by GitHub
commit 442b868af7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -53,9 +53,6 @@ new_draft = true
# 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]
# Show range-diff links on force pushes.
[range-diff]