merge-pr
Merge a GitHub PR and clean up the worktree. Use when merging a PR from a feature branch worktree that meets merging criteria.
Browse published AI skills maintained by troydai. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
2Repository stars across indexed skills
10Repository forks
0Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
Merge a GitHub PR and clean up the worktree. Use when merging a PR from a feature branch worktree that meets merging criteria.
Manage git worktrees using gwt for branch-based workflow. Use when switching branches, creating worktrees, listing worktrees, or cleaning up after merging PRs.
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.