From d0778ac88e5e920e9ac2432a7c5c3246fb236310 Mon Sep 17 00:00:00 2001 From: Nick Cameron Date: Fri, 2 Nov 2018 10:38:05 +1300 Subject: [PATCH] publish-toolstate: ping maintainers when a tool builds again And add @Xanewok as an RLS maintainer --- src/tools/publish_toolstate.py | 6 +++--- 1 file 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' \