Skip to content

CIP-0010 | Add label-in-use query, clean up update process#1171

Merged
rphair merged 4 commits intocardano-foundation:masterfrom
rphair:cip-0010-check-tag-free
Mar 31, 2026
Merged

CIP-0010 | Add label-in-use query, clean up update process#1171
rphair merged 4 commits intocardano-foundation:masterfrom
rphair:cip-0010-check-tag-free

Conversation

@rphair
Copy link
Copy Markdown
Collaborator

@rphair rphair commented Mar 31, 2026

@katomm offered a great suggestion to help find unused label numbers in #1169 (comment).

I've inserted that with some different wrapper language & removed some old language that was grammatically incorrect & maybe no longer meaningful today:

  • all Reserved labels through 15 — not just 0 and 1 — are currently in use;
  • the "machine-readable" registry.json file is also human readable, so the old term isn't meaningful;
  • instead of "open your pull request" I've filled out that information a bit more with what editors have been requiring for these PRs.

(modified section, rendered from branch)

@rphair rphair added Update Adds content or significantly reworks an existing proposal State: Triage Applied to new PR afer editor cleanup on GitHub, pending CIP meeting introduction. Category: Metadata Proposals belonging to the 'Metadata' category. labels Mar 31, 2026
@rphair rphair changed the title CIP-0010 | Add label-in-use query and update instructions CIP-0010 | Add label-in-use query, clean up update process Mar 31, 2026
@rphair rphair requested review from Ryun1 and perturbing March 31, 2026 04:35
Copy link
Copy Markdown
Collaborator

@Ryun1 Ryun1 left a comment

Choose a reason for hiding this comment

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

nice addition

@rphair rphair merged commit 561cca4 into cardano-foundation:master Mar 31, 2026
@rphair rphair removed the State: Triage Applied to new PR afer editor cleanup on GitHub, pending CIP meeting introduction. label Mar 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Category: Metadata Proposals belonging to the 'Metadata' category. Update Adds content or significantly reworks an existing proposal

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants