Skip to content

Commit e3028db

Browse files
authored
Rollup merge of #63970 - flip1995:notify_clippy, r=oli-obk
Notify me (flip1995) when Clippy toolstate changes I want in on the fun 🎉 Also friendly ping @llogiq @mcarton: Since you two aren't _that_ active on the Clippy repo anymore, do you still want to get pinged on Clippy toolstate changes? r? @oli-obk
2 parents 75c8c21 + 8cf3921 commit e3028db

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/publish_toolstate.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@
2222
# List of people to ping when the status of a tool or a book changed.
2323
MAINTAINERS = {
2424
'miri': '@oli-obk @RalfJung @eddyb',
25-
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch',
25+
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch @flip1995',
2626
'rls': '@Xanewok',
2727
'rustfmt': '@topecongiro',
2828
'book': '@carols10cents @steveklabnik',

0 commit comments

Comments
 (0)