Skip to content

chore(skills): rebuild skills index#389

Open
PaulHorn wants to merge 1 commit into
mainfrom
skills-index-update
Open

chore(skills): rebuild skills index#389
PaulHorn wants to merge 1 commit into
mainfrom
skills-index-update

Conversation

@PaulHorn

@PaulHorn PaulHorn commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

Automated rebuild of registry/skills-index.json from registry/sources.json.

@github-actions github-actions Bot force-pushed the skills-index-update branch 2 times, most recently from 72962b2 to 26e7c97 Compare June 15, 2026 17:26
@github-actions github-actions Bot force-pushed the skills-index-update branch from 26e7c97 to 7b4ba51 Compare June 16, 2026 11:38
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