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

fix(lint): split space-separated bare names, drop the dead fixedNames

2608c35
Select commit
Loading
Failed to load commit list.