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

Remove `[no-mentions]` handler in the triagebot config

Author: RalfJung

src/tools/miri/triagebot.toml

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