Skip to content

Conversation

@hhugo
Copy link
Member

@hhugo hhugo commented Aug 3, 2023

Labels are named based on theirs nesting level and have consecutive names

Fix #1502

@hhugo hhugo merged commit 2b429e5 into master Aug 3, 2023
@hhugo hhugo deleted the name-labels branch August 3, 2023 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[FEATURE REQUEST] Minimize label names

2 participants