diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-02-23 09:57:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 09:57:38 +0100 |
| commit | b76099429babcaf1aed86b7a2b7fb53291dd9ddb (patch) | |
| tree | 5d0ed055e8872708a2ee43f8462fd0749f8807b4 | |
| parent | 436494b8f8008b600d64b3951f63c2bb0ea81673 (diff) | |
| parent | e7ee42baeb54f6484fa76a88e03b3168ff3147ce (diff) | |
| download | rust-b76099429babcaf1aed86b7a2b7fb53291dd9ddb.tar.gz rust-b76099429babcaf1aed86b7a2b7fb53291dd9ddb.zip | |
Rollup merge of #69336 - Mark-Simulacrum:no-infra-toolstate, r=Dylan-DPC
Do not ping the infrastructure team on toolstate changes To my knowledge, there is essentially never any particular action that the infra team needs to take on these pings, and they are currently relatively annoying. cc rust-lang/infra -- does anyone *want* these notifications?
| -rwxr-xr-x | src/tools/publish_toolstate.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 967333c1ace..81d44a3df25 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -211,14 +211,14 @@ def update_latest( if new > old: # things got fixed or at least the status quo improved changed = True - message += '🎉 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \ + message += '🎉 {} on {}: {} → {} (cc {}).\n' \ .format(tool, os, old, new, maintainers) elif new < old: # tests or builds are failing and were not failing before changed = True title = '💔 {} on {}: {} → {}' \ .format(tool, os, old, new) - message += '{} (cc {}, @rust-lang/infra).\n' \ + message += '{} (cc {}).\n' \ .format(title, maintainers) # See if we need to create an issue. if tool == 'miri': |