Requesting prioritization

Users can request an issue to be prioritized by the Prioritization WG.

To do so, you can invoke the following command:

@rustbot prioritize

This will add the I-prioritize label to the issue, as well as creating a Zulip thread for the WG-prioritization members to discuss.

Errors

The command fails if the issue has already been requested for prioritization (i.e. already has the I-prioritize label).

Enabling

[prioritize]

Name of the label used for requesting prioritization on issues

label = "I-prioritize"

ID of the stream used by the Prioritization WG

zulip_stream = 227806