diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-29 05:32:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-29 05:32:57 +0200 |
| commit | e3028dbda8bf32495efe78f268461ff489bb905d (patch) | |
| tree | c1a717763a2e874e9e9370eac8d9c6dfada93363 /src | |
| parent | 75c8c211dc138466945d1f60f74260bfbae79b73 (diff) | |
| parent | 8cf392114da9deb8bdf160b196b8fd1503fb395e (diff) | |
| download | rust-e3028dbda8bf32495efe78f268461ff489bb905d.tar.gz rust-e3028dbda8bf32495efe78f268461ff489bb905d.zip | |
Rollup merge of #63970 - flip1995:notify_clippy, r=oli-obk
Notify me (flip1995) when Clippy toolstate changes I want in on the fun :tada: 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
Diffstat (limited to 'src')
| -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', |