Skip to content

Add tokrepo-search skill#1278

Open
henu-wang wants to merge 2 commits intogithub:mainfrom
henu-wang:tokrepo-search-skill
Open

Add tokrepo-search skill#1278
henu-wang wants to merge 2 commits intogithub:mainfrom
henu-wang:tokrepo-search-skill

Conversation

@henu-wang
Copy link
Copy Markdown

This adds a native tokrepo-search skill for GitHub Copilot.

Why it fits:

  • helps users discover installable skills, MCP servers, prompts, and workflows instead of recreating them from scratch
  • uses a simple skill folder under skills/ and updates the generated skills index entry
  • keeps the guidance practical: search, shortlist results, and provide install commands

I also ran npm run skill:validate locally and the new skill passed validation.

Happy to adjust wording if you want it framed more narrowly around Copilot workflows.

Copy link
Copy Markdown
Contributor

@aaronpowell aaronpowell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks like you've incorrectly branched from the main branch not staged, and as a result all the materialised plugins are included in this PR.

You can attempt to fix this with a rebase:

git fetch origin staged
git rebase --onto origin/staged origin/main <branch name>
git push --force-with-lease

If that does not resolve it, you can run npm run plugin:clean which will delete the materialised plugins and you can commit that change.

@github-actions github-actions bot force-pushed the main branch 11 times, most recently from 5b5010d to 43228b9 Compare April 9, 2026 03:33
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.

2 participants