bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Notify myself when Clippy toolstate changes

Browse source
This commit is contained in:
Philipp Hansch 2019-02-16 11:56:32 +01:00
parent eac09088e1
commit d6a98f4b3a
No known key found for this signature in database
GPG key ID: B6FA06A6E0E2665B
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

@ -15,7 +15,7 @@ except ImportError:
# List of people to ping when the status of a tool changed.
MAINTAINERS = {
'miri': '@oli-obk @RalfJung @eddyb',
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk',
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch',
'rls': '@nrc @Xanewok',
'rustfmt': '@nrc @topecongiro',
'book': '@carols10cents @steveklabnik',