Would be nice if we have @rustbot prioritize command that assigns I-prioritize label and also creates a new topic on Zulip's WG-prioritization stream requesting the working group to prioritize the in question issue.
Read more about the discussion about this feature request in this Zulip topic.
Would be nice if we have
@rustbot prioritizecommand that assignsI-prioritizelabel and also creates a new topic on Zulip's WG-prioritization stream requesting the working group to prioritize the in question issue.Read more about the discussion about this feature request in this Zulip topic.