github-merge-pr
Installation
SKILL.md
Merge Pull Request
Instructions
- If no PR number provided, find the PR for the current branch
- Check PR status (reviews, CI checks)
- Warn if checks are failing or reviews are pending
- Merge the PR using squash merge by default
- Optionally delete the branch after merge