Stream: rustdoc

Topic: A new rustbot ping for this team?


view this post on Zulip apiraino (Feb 24 2021 at 10:59):

Hi team, I was thinking to add a new rustbot capability: @rustbot ping rustdoc to alert the rustdoc team of issues of interest.
For this reason I'd keep this trigger ping manual and not automatic.

Use case: ping the team for issues that have high priority

Text of the ping message could be something along the line of:

[ping.rustdoc]
message = "Hey Rustdoc team! This issue has been labeled for closer inspection."
label = "T-rustdoc"

Opinions?

view this post on Zulip simulacrum (Feb 24 2021 at 12:09):

Is there a reason to not cc @rust-lang/rustdoc?

view this post on Zulip GuillaumeGomez (Feb 24 2021 at 13:18):

Hum... It might be useful for people who can't use this alias, otherwise I don't know

view this post on Zulip apiraino (Feb 24 2021 at 13:24):

simulacrum said:

Is there a reason to not cc @rust-lang/rustdoc?

@simulacrum you mean to simply mention the team in the issue? you're right and it's easier. I'll keep that in mind!

view this post on Zulip Léo Lanteri Thauvin (Feb 24 2021 at 13:26):

Use case: ping the team for issues that have high priority

Everyone in the Prioritization WG can ping @rust-lang/rustdoc, do you think anyone outside of the rust-lang org would use this?

view this post on Zulip apiraino (Feb 24 2021 at 13:35):

right I meant it as a tool for us, but Mark correctly points out that we dont need another "ping target" when we can simply @mention the team :)


Last updated: Oct 11 2021 at 22:34 UTC