From 5516e54726ab45ea3f122d986ff046395c90d1e0 Mon Sep 17 00:00:00 2001
From: Urgau <3616612+Urgau@users.noreply.github.com>
Date: Mon, 8 Dec 2025 19:25:31 +0100
Subject: [PATCH] Remove `[no-mentions]` handler in our triagebot config

https://github.blog/changelog/2025-11-07-removing-notifications-for-mentions-in-commit-messages/
---
 src/tools/miri/triagebot.toml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml
index 910e5f56e1e4..b9edd03f7a22 100644
--- a/src/tools/miri/triagebot.toml
+++ b/src/tools/miri/triagebot.toml
@@ -53,8 +53,5 @@ 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]