Auto merge of #50434 - nrc:tool-bustage-infra, r=alexcrichton

Ping infra team on all tool bustage

r? @kennytm

cc @rust-lang/core as discussed at today's meeting
This commit is contained in:
bors 2018-05-07 03:47:41 +00:00
commit 760274f7b3

View File

@ -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: