Skip to content

lint: split space-separated bare names, drop the dead fixedNames - #130

Merged
NagyVikt merged 1 commit into
mainfrom
fix/skill-linter-review-followups
Aug 7, 2026
Merged

lint: split space-separated bare names, drop the dead fixedNames#130
NagyVikt merged 1 commit into
mainfrom
fix/skill-linter-review-followups

Commits

Commits on Aug 7, 2026