Skip to content

Conversation

@ludfjig
Copy link
Contributor

@ludfjig ludfjig commented Mar 17, 2025

#298 documents that PRs need exactly 1 of the kind/* labels in order to be merged, so this PR updates that. Any label is no longer acceptable, and it also needs to be exactly 1.

Tested manually with this PR and works great.

@ludfjig ludfjig added area/infrastructure Concerns infrastructure rather than core functionality kind/bugfix For PRs that fix bugs kind/enhancement For PRs adding features, improving functionality, docs, tests, etc. kind/refactor For PRs that restructure or remove code without adding new functionality. kind/dependencies For PRs that update dependencies or related components and removed kind/bugfix For PRs that fix bugs kind/refactor For PRs that restructure or remove code without adding new functionality. kind/dependencies For PRs that update dependencies or related components labels Mar 17, 2025
@ludfjig ludfjig merged commit d9f49e3 into hyperlight-dev:main Mar 18, 2025
26 of 32 checks passed
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants