diff options
| author | Philipp Hansch <dev@phansch.net> | 2019-02-16 11:56:32 +0100 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2019-02-16 11:59:25 +0100 |
| commit | d6a98f4b3afeb2e793e96a6603d3c3aa7c5c4f37 (patch) | |
| tree | 9762aa426bb00169faa423ca8a39977de06fafcb | |
| parent | eac09088e1a8fc8a293028764e4e84da29469205 (diff) | |
| download | rust-d6a98f4b3afeb2e793e96a6603d3c3aa7c5c4f37.tar.gz rust-d6a98f4b3afeb2e793e96a6603d3c3aa7c5c4f37.zip | |
Notify myself when Clippy toolstate changes
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 24d6fd5b19b..3688812fe0a 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -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', |