diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-06-26 17:48:02 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-26 17:48:02 +0000 |
| commit | cd15aeb70b3c2b7ffffdf63596208736e7202dc7 (patch) | |
| tree | 495af886fbbb1219b08eabda630023eafe8b315f | |
| parent | c950602c01b2a68b7502388d440270d4e3ee64aa (diff) | |
| parent | 4116a72a08e52e227c719b7d9109183673e77b21 (diff) | |
| download | rust-cd15aeb70b3c2b7ffffdf63596208736e7202dc7.tar.gz rust-cd15aeb70b3c2b7ffffdf63596208736e7202dc7.zip | |
Ping notriddle when a clippy lint in `clippy_lints/doc` is modified (#15147)
Related to [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/257328-clippy/topic/Reviewing.20the.20.60doc.60.20lints/with/525943439). @notriddle Would you want that? changelog: none
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 16557a4bebb..4f370758c00 100644 --- 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] |