Ping infra team on all tool bustage

diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index 8e23519f57ebca5130913b5ceda69605ff964cfa..1539c2e25781b09d2e5ddabcbe19e63be1a2087a 100755 (executable)
--- 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: