Skip to content

Conversation

@qbradley
Copy link
Contributor

The path to github-labels.md has a comma instead of a period before the extension.
Also removed some extra spaces between words or at ends of lines.

@simongdavies simongdavies added the kind/enhancement For PRs adding features, improving functionality, docs, tests, etc. label May 20, 2025
@simongdavies simongdavies enabled auto-merge (squash) May 20, 2025 18:31
auto-merge was automatically disabled May 20, 2025 19:01

Head branch was pushed to by a user without write access

@simongdavies simongdavies merged commit 39bd35c into hyperlight-dev:main May 20, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/enhancement For PRs adding features, improving functionality, docs, tests, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants