diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-11-03 13:40:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-03 13:40:39 +0100 |
| commit | 723edf7793cd0953e12c677ac2f49bf2f67cfb1e (patch) | |
| tree | c4eddb5a548122455b3d9fefe0184826c5b82dfd | |
| parent | c674335ba352c526b75483856d33d6479c286f5d (diff) | |
| parent | d0778ac88e5e920e9ac2432a7c5c3246fb236310 (diff) | |
| download | rust-723edf7793cd0953e12c677ac2f49bf2f67cfb1e.tar.gz rust-723edf7793cd0953e12c677ac2f49bf2f67cfb1e.zip | |
Rollup merge of #55598 - nrc:tool-bot, r=kennytm
publish-toolstate: ping maintainers when a tool builds again And add @Xanewok as an RLS maintainer r? @kennytm Motivation is that I see when the RLS gets broken, but have to poll the website to see when it is fixed, I'd prefer to get pinged.
| -rwxr-xr-x | src/tools/publish_toolstate.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index c794e169fca..4ade87f5d65 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -26,7 +26,7 @@ except ImportError: MAINTAINERS = { 'miri': '@oli-obk @RalfJung @eddyb', 'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk', - 'rls': '@nrc', + 'rls': '@nrc @Xanewok', 'rustfmt': '@nrc', 'book': '@carols10cents @steveklabnik', 'nomicon': '@frewsxcv @Gankro', @@ -81,8 +81,8 @@ def update_latest( status[os] = new if new > old: changed = True - message += '🎉 {} on {}: {} → {}.\n' \ - .format(tool, os, old, new) + message += '🎉 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \ + .format(tool, os, old, new, MAINTAINERS.get(tool)) elif new < old: changed = True message += '💔 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \ |