bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Notify me (flip1995) when Clippy toolstate changes

Browse source
This commit is contained in:
flip1995 2019-08-28 13:23:00 +02:00
parent ac21131f78
commit 8cf392114d
No known key found for this signature in database
GPG key ID: 693086869D506637
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/publish_toolstate.py
View file

@ -22,7 +22,7 @@ except ImportError:
# 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',