Ping infra team on all tool bustage

2018-05-04 10:21:05 +12:00 · 2018-05-04 10:21:05 +12:00 · 28dfc07a35
commit 28dfc07a35
parent d68b0eceaa
1 changed files with 1 additions and 1 deletions
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@ -86,7 +86,7 @@ def update_latest(
                        .format(tool, os, old, new)
                elif new < old:
                    changed = True
-                    message += '💔 {} on {}: {} → {} (cc {}).\n' \
+                    message += '💔 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \
                        .format(tool, os, old, new, MAINTAINERS.get(tool))

            if changed: