Skip to content

HIP 0005 - Structured Labels - #1978

Merged
yoshuawuyts merged 6 commits into
mainfrom
labels-hip
Nov 2, 2026
Merged

yoshuawuyts merged 6 commits into
mainfrom
labels-hip

Conversation

@yoshuawuyts

@yoshuawuyts yoshuawuyts commented Oct 23, 2026 •

Copy link
Copy Markdown
Contributor

This adds a proposal for reworking our use of GitHub labels, in particular to make it easier to create agendas, track architecture-specific issues, and improve turn-around time on issues. Thanks!

Rendered

Signed-off-by: Yosh <github@yosh.is>
Copilot AI balanced review requested due to automatic review settings October 23, 2026 10:49
@yoshuawuyts yoshuawuyts added kind/enhancement For PRs adding features, improving functionality, docs, tests, etc. area/infrastructure Concerns infrastructure rather than core functionality labels Oct 23, 2026

This comment was marked as resolved.

yoshuawuyts and others added 3 commits October 23, 2026 12:56
Add rollout plan for label migration and update label tagging guidelines.

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Yosh <2467194+yoshuawuyts@users.noreply.github.com>
Signed-off-by: Yosh <github@yosh.is>
Signed-off-by: Yosh <github@yosh.is>
@yoshuawuyts yoshuawuyts added the meeting-nominated Item nominated for the next triage meeting label Oct 23, 2026
andreiltd
andreiltd previously approved these changes Oct 26, 2026

@jsturtevant jsturtevant left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pairing down to few labels would be nice to see IMO but over all this looks ok, particularly if we use agents to help do some of the triage and pull relevant information.

Just a heads up we do have some docs here on the process that was used previously https://github.com/hyperlight-dev/hyperlight/blob/main/docs/github-labels.md which we should make sure to update or document prior art

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Yosh <github@yosh.is>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Yosh <github@yosh.is>
@yoshuawuyts
yoshuawuyts merged commit fa13116 into main Nov 2, 2026
66 checks passed
@yoshuawuyts
yoshuawuyts deleted the labels-hip branch November 2, 2026 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/infrastructure Concerns infrastructure rather than core functionality kind/enhancement For PRs adding features, improving functionality, docs, tests, etc. meeting-nominated Item nominated for the next triage meeting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants