diff options
| author | Ralf Jung <post@ralfj.de> | 2025-08-18 16:19:08 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-08-18 16:19:08 +0200 |
| commit | ba85edf16bece3c43fa925bf1bfe5fe2fa2f6173 (patch) | |
| tree | a2ba645e2e47c2ea7b9f9bc06e8d04a9d585d170 /src | |
| parent | 70fe61fa075caf1faf59fd0af2ca763e0a8a378f (diff) | |
| download | rust-ba85edf16bece3c43fa925bf1bfe5fe2fa2f6173.tar.gz rust-ba85edf16bece3c43fa925bf1bfe5fe2fa2f6173.zip | |
triagebot: Show range-diff links on force pushes
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/triagebot.toml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 5d6b596ea54..910e5f56e1e 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -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] |