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.