skill
métier
description
mis à jour
merge-pr
Développeurs de logiciels
Merge a GitHub PR and clean up the worktree. Use when merging a PR from a feature branch worktree that meets merging criteria.
2026-01-12
gwt
Développeurs de logiciels
Manage git worktrees using gwt for branch-based workflow. Use when switching branches, creating worktrees, listing worktrees, or cleaning up after merging PRs.
2026-01-12