diff options
| author | Nick Cameron <ncameron@mozilla.com> | 2018-05-04 10:21:05 +1200 |
|---|---|---|
| committer | Nick Cameron <ncameron@mozilla.com> | 2018-05-04 10:21:05 +1200 |
| commit | 28dfc07a35ad01d3ac1e7ee40bfc31f2fa0ba865 (patch) | |
| tree | 51f2aead6acc7c3d0a7ac32518e963421b6aec0d | |
| parent | d68b0eceaaf719a4702ab13a7ca62dea5d966082 (diff) | |
| download | rust-28dfc07a35ad01d3ac1e7ee40bfc31f2fa0ba865.tar.gz rust-28dfc07a35ad01d3ac1e7ee40bfc31f2fa0ba865.zip | |
Ping infra team on all tool bustage
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 8e23519f57e..1539c2e2578 100755 --- 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: |