Skip to content

Commit

Permalink
Rollup merge of rust-lang#63970 - flip1995:notify_clippy, r=oli-obk
Browse files Browse the repository at this point in the history
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
  • Loading branch information
Centril authored Aug 29, 2019
2 parents 75c8c21 + 8cf3921 commit e3028db
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/publish_toolstate.py
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
# List of people to ping when the status of a tool or a book changed.
MAINTAINERS = {
'miri': '@oli-obk @RalfJung @eddyb',
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch',
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch @flip1995',
'rls': '@Xanewok',
'rustfmt': '@topecongiro',
'book': '@carols10cents @steveklabnik',
Expand Down

0 comments on commit e3028db

Please sign in to comment.