Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add triage command #12

Closed

Conversation

Mark-Simulacrum
Copy link
Member

This command is intended for the addition of priority tags
(high/medium/low) while removing some set of tags, usually a nomination.

See wiki page for usage.

This command is intended for the addition of priority tags
(high/medium/low) while removing some set of tags, usually a nomination.
@Mark-Simulacrum
Copy link
Member Author

@nikomatsakis I'd appreciate a review of the wiki page to let me know if this looks like the right fit for this feature.

@spastorino
Copy link
Member

Ohh just found this which we could reuse for the @rust-lang/wg-prioritization but changing I-nominated with I-prioritize.

@Dylan-DPC-zz
Copy link

Also need to add P-critical to this

@nikomatsakis
Copy link
Contributor

wiki page looks right, fwiw, I missed that ping earlier :)

@kellda
Copy link
Contributor

kellda commented Jul 9, 2020

@kellda kellda mentioned this pull request Sep 10, 2021
mcass19 added a commit to mcass19/triagebot that referenced this pull request Jun 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants