-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
[meta] Labels in this repo #2348
Comments
I'm going to nuke the |
I previously did some other large changes (beyond just labeling a bunch of issues) without notifying people - merging two labels for library-related issues into one and merging two labels for the tools team into one. |
Removing labelsAgree with getting rid of Few other candidates:
It also seems we are not using the I propose we rename Adding new ones?It might a good idea to reuse the scheme in the |
@Centril |
@petrochenkov Seems like a good roll-out plan. I'll start adding a bunch of labels =) |
@petrochenkov This is now done for all open issues & PRs that can reasonably have |
The |
Looks like |
Agree with On |
@petrochenkov How do we deal with the EDIT: I'm suggesting we not have tracking issues for postponed RFCs at all as they just increase clutter - discussion can continue even tho the PR itself is closed.. |
My idea so far is to keep an open issue for each postponed RFC and keep the |
@petrochenkov imo the indirection doesn't help - we have massive clutter atm, so it is better to not have postponement issues at all? |
Hmm, maybe. |
Yes exactly =) |
I propose we introduce the label cc @aturon |
I think we can close this now; I'll open up a new issue if need be for further discussion about labels. |
This is a tracking issue for changes in labels in this repo.
If you want to discuss how issues and PRs in this repo should be labeled, please leave a comment here.
If you want to make to make a large change (e.g. remove some labels), please leave a comment here.
Conventions for labels in this repo
So far the primary rule is that every issue and PR should have at least one
T-
label marking it with relevant team, so people from various teams interested in triaging or picking up ideas for RFCs can filter issues easily.Large issue categories like
T-lang
may have more fine-grained labeling in the future (To Be Defined).PRs in this repo follow the RFC process and should be labeled with process-related tags if necessary -
final-comment-period
/proposed-final-comment-period
/etc.cc @Centril
The text was updated successfully, but these errors were encountered: