Ping notriddle when a clippy lint in clippy_lints/doc is modified

samueltardieu · samueltardieu · commit 4116a72a08e5 · 2025-06-26T18:45:11.000+02:00
diff --git a/triagebot.toml b/triagebot.toml
@@ -17,6 +17,9 @@ allow-unauthenticated = [
 
 [issue-links]
 
+[mentions."clippy_lints/src/doc"]
+cc = ["@notriddle"]
+
 # Prevents mentions in commits to avoid users being spammed
 [no-mentions]
 
