Skip to content

Chore/rename tags to labels#428

Merged
WattsUp merged 2 commits intomasterfrom
chore/rename-tags-to-labels
Sep 22, 2025
Merged

Chore/rename tags to labels#428
WattsUp merged 2 commits intomasterfrom
chore/rename-tags-to-labels

Conversation

@WattsUp
Copy link
Owner

@WattsUp WattsUp commented Sep 22, 2025

No description provided.

@WattsUp WattsUp merged commit 6a36311 into master Sep 22, 2025
9 checks passed
@WattsUp WattsUp deleted the chore/rename-tags-to-labels branch September 22, 2025 00:15
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.

1 participant