Merge pull request #4529 from RalfJung/triagebot-range-diff-awesomeness

triagebot: Show range-diff links on force pushes

Author: RalfJung

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]