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