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.
This commit is contained in:
Guillaume Gomez 2018-11-03 13:40:39 +01:00 committed by GitHub
commit 723edf7793
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -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' \