Ping infra team on all tool bustage

rust-lang · May 3, 2018 · 28dfc07 · 28dfc07
1 parent d68b0ec
commit 28dfc07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: