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

Update top-level README with latest statuses. #478

Merged
merged 2 commits into from
Mar 18, 2023
Merged

Conversation

KtorZ
Copy link
Member

@KtorZ KtorZ commented Mar 15, 2023

No description provided.

@KtorZ KtorZ added the Bi-Weekly Notes / Editorial Housekeeping Publishing Bi-weekly meetings minutes / Mintor edits of public surrounding information label Mar 15, 2023
@KtorZ KtorZ self-assigned this Mar 15, 2023
Copy link
Collaborator

@rphair rphair left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I just noticed that today's promoted candidates 88 through 92 didn't have GitHub's label Candidate CIP assigned. Looks like the newest PR that had this label applied was opened in August 2022... has this label become passé? If not needed or applied anymore, should we remove it? (since it currently applies to only to a subset of candidates)

README.md Outdated Show resolved Hide resolved
@KtorZ
Copy link
Member Author

KtorZ commented Mar 18, 2023

has this label become passé? If not needed or applied anymore, should we remove it? (since it currently applies to only to a subset of candidates)

I think so indeed; since we started more explicitly assigning numbers or else leaving ???? as numbers to CIP the label has become sort of redundant.

Co-authored-by: Robert Phair <[email protected]>
@KtorZ
Copy link
Member Author

KtorZ commented Mar 18, 2023

@rphair your last comment reminded me to create labels for categories as we said we would. So this is now done. I've also removed the old labels for Candidate CIP, and CIP's types (removed from CIP-0001 back in November 2022).

@KtorZ KtorZ merged commit a8db79d into master Mar 18, 2023
@KtorZ KtorZ deleted the post-cip-editor-meeting branch March 18, 2023 11:49
Ryun1 pushed a commit to Ryun1/CIPs that referenced this pull request Nov 17, 2023
* Update top-level README with latest statuses.

* Update README.md

Co-authored-by: Robert Phair <[email protected]>

---------

Co-authored-by: Robert Phair <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bi-Weekly Notes / Editorial Housekeeping Publishing Bi-weekly meetings minutes / Mintor edits of public surrounding information
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants