Skip to content

Issue Labels #7

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

Closed
zjibben opened this issue Oct 16, 2019 · 9 comments
Closed

Issue Labels #7

zjibben opened this issue Oct 16, 2019 · 9 comments
Assignees
Labels
meta Related to this repository

Comments

@zjibben
Copy link
Member

zjibben commented Oct 16, 2019

Should we have labels for stages of various issues? The readme suggests we'll be tracking proposals through to final standardization, or rejection. Labels along the lines of "unsubmitted", "accepted", "rejected", "under consideration", "on hold", and maybe "in progress" would help organize this. And perhaps a "meta" label for issues related to this repo. I imagine "accepted" and "rejected" labels would only be used for closed issues.

@certik
Copy link
Member

certik commented Oct 16, 2019 via email

@zjibben zjibben self-assigned this Oct 16, 2019
@zjibben zjibben added the meta Related to this repository label Oct 16, 2019
@zjibben
Copy link
Member Author

zjibben commented Oct 16, 2019

I added labels and assigned them to existing issues, feel free to modify as needed.

@pdebuyl
Copy link

pdebuyl commented Oct 16, 2019

What does "unsubmitted" mean?

@certik
Copy link
Member

certik commented Oct 16, 2019

@pdebuyl I just added a remark for the label ("Has not been submitted to the committee yet").

@zbeekman
Copy link

You might want to pin this issue; or a similar one discussing labeling.

@certik certik pinned this issue Oct 17, 2019
@milancurcic
Copy link
Member

Now that we have the meta label, we don't need [META] in meta issue titles, correct? I did some tidying up with meta labels, then stumbled upon this. I'll revert if you disagree.

@certik
Copy link
Member

certik commented Oct 27, 2019

That's fine with me, you can remove the [META] label.

@certik certik changed the title [META] Issue Labels Issue Labels Oct 27, 2019
@Leonard-Reuter
Copy link
Contributor

What about adding labels for different types of proposals (i.e. 'syntactic sugar', 'C interoperability', 'coding convention', 'efficiency improvement', 'new feature', 'enhanced feature'...)? In a way, this has already been done with the 'meta' label.

@certik
Copy link
Member

certik commented Apr 23, 2022

We have issue labels now, so I am going to close this issue.

@certik certik closed this as completed Apr 23, 2022
@certik certik unpinned this issue Apr 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta Related to this repository
Projects
None yet
Development

No branches or pull requests

6 participants