user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Ping notriddle when a clippy lint in clippy_lints/doc is modified (#15147)

Browse source 
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
This commit is contained in:
Philipp Krones 2025-06-26 17:48:02 +00:00 • committed by GitHub
commit cd15aeb70b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
triagebot.toml
View file

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