From ac98b486ef81bc714b3b1e8f3bdb88f18c8821ba Mon Sep 17 00:00:00 2001
From: blyxyas <blyxyas@gmail.com>
Date: Wed, 20 Aug 2025 14:17:08 +0000
Subject: [PATCH] Include no-mentions.exclude-titles in docs.

---
 src/triagebot/no-mentions.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/triagebot/no-mentions.md b/src/triagebot/no-mentions.md
index 3ded1779..adbafc3e 100644
--- a/src/triagebot/no-mentions.md
+++ b/src/triagebot/no-mentions.md
@@ -12,6 +12,14 @@ This feature is enabled on a repository by having a `[no-mentions]` table in `tr
 [no-mentions]
 ```
 
+Additionally, one can avoid checking certain pull requests with the `exclude-titles` configuration option.
+
+```toml
+[no-mentions]
+# It doesn't make sense checking subtree updates, ignore those by matching case-insensitively on the title
+exclude-titles = ["subtree update"]
+```
+
 ## Implementation
 
 See [`src/handlers/check_commits/no_mentions.rs`](https://github.com/rust-lang/triagebot/blob/HEAD/src/handlers/check_commits/no_mentions.rs).