Skip to content

Renaming skills#517

Merged
jabrena merged 3 commits intomainfrom
feature/better-categories
Mar 17, 2026
Merged

Renaming skills#517
jabrena merged 3 commits intomainfrom
feature/better-categories

Conversation

@jabrena
Copy link
Owner

@jabrena jabrena commented Mar 17, 2026

Rationale for this change

Explain the reasons to change the repository

What changes are included in this PR?

Explain what changes do this PR

Are these changes tested?

Explain if the PR was tested and explain details

Are there any user-facing changes?

Explain if the PR will impact the final user

@jabrena jabrena mentioned this pull request Mar 17, 2026
@jabrena jabrena merged commit c05d0d4 into main Mar 17, 2026
12 checks passed
@jabrena jabrena deleted the feature/better-categories branch March 17, 2026 23:07
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