diff options
| author | flip1995 <hello@philkrones.com> | 2019-08-28 13:23:00 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2019-08-28 13:25:45 +0200 |
| commit | 8cf392114da9deb8bdf160b196b8fd1503fb395e (patch) | |
| tree | 6124a5dd2cdbe7ac5bdf0a9d1980ab288cb91cbf /src/tools/publish_toolstate.py | |
| parent | ac21131f7859836cd3fcb39231c0162fd892d960 (diff) | |
| download | rust-8cf392114da9deb8bdf160b196b8fd1503fb395e.tar.gz rust-8cf392114da9deb8bdf160b196b8fd1503fb395e.zip | |
Notify me (flip1995) when Clippy toolstate changes
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -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 648838d26ef..1411f4c0b05 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -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', |