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

triagebot: Show range-diff links on force pushes

Browse source
This commit is contained in:
Ralf Jung 2025-08-18 16:19:08 +02:00
parent 70fe61fa07
commit ba85edf16b
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -50,8 +50,11 @@ new_pr = true
[autolabel."S-waiting-on-author"]
new_draft = true
# Canonicalize issue numbers to avoid closing the wrong issue when upstreaming this subtree
# 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
# Prevents mentions in commits to avoid users being spammed.
[no-mentions]
# Show range-diff links on force pushes.
[range-diff]