Skip to content

Commit 723edf7

Browse files
Rollup merge of #55598 - nrc:tool-bot, r=kennytm
publish-toolstate: ping maintainers when a tool builds again And add @Xanewok as an RLS maintainer r? @kennytm Motivation is that I see when the RLS gets broken, but have to poll the website to see when it is fixed, I'd prefer to get pinged.
2 parents c674335 + d0778ac commit 723edf7

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/tools/publish_toolstate.py

+3-3
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
MAINTAINERS = {
2727
'miri': '@oli-obk @RalfJung @eddyb',
2828
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk',
29-
'rls': '@nrc',
29+
'rls': '@nrc @Xanewok',
3030
'rustfmt': '@nrc',
3131
'book': '@carols10cents @steveklabnik',
3232
'nomicon': '@frewsxcv @Gankro',
@@ -81,8 +81,8 @@ def update_latest(
8181
status[os] = new
8282
if new > old:
8383
changed = True
84-
message += '🎉 {} on {}: {} → {}.\n' \
85-
.format(tool, os, old, new)
84+
message += '🎉 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \
85+
.format(tool, os, old, new, MAINTAINERS.get(tool))
8686
elif new < old:
8787
changed = True
8888
message += '💔 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \

0 commit comments

Comments
 (0)