Requesting prioritization

Jump to bottom Edit New page

Eric Huss edited this page Sep 3, 2022 · 4 revisions

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.

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"