Plugins
1 pluginResults for “repo-management”
8 skillsGh
Performs GitHub operations from the terminal using the gh CLI, including auth status, repo create/clone/fork, issues, pull requests, releases, and basic repo management.
1 · bundle
Suggest Awesome Github Copilot Skills
Suggest relevant GitHub Copilot skills from the awesome-copilot repository based on current repository context and chat history, avoiding duplicates with existing skills and identifying outdated ones.
36.2k
Skill Installer
Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path.
66.9k · bundle
More results
Suggest Awesome Github Copilot Instructions
Suggests relevant GitHub Copilot instruction files from the awesome-copilot repository based on current repository context and chat history, avoiding duplicates with existing instructions and identifying outdated ones.
36.2k
Directory Build Organization
Organize multi-project .NET repos with Directory.Build.props, Directory.Build.targets, Directory.Packages.props, and Directory.Build.rsp for centralized MSBuild settings and NuGet Central Package Management.
4k · bundle
Executing Plans
Loads an implementation plan, reviews it critically, executes each task with verification, and reports completion, stopping to ask for help when blocked.
0
Executing Plans
Loads a written implementation plan, reviews it critically, executes all tasks with verification, and reports completion, stopping to ask for help when blocked.
1
Git Land Main
Safely land one or many topic branches onto main via GitHub PR: inventory, commit leftovers, push, open/update PR, wait for green CI, merge or squash (repo norm), sync local main, then delete local/remote branches only after main contains the work.
1 · bundle