gh-pr-close
Installation
SKILL.md
GitHub PR Close
When to use
- The user asks to close a PR without merging.
- PR is abandoned, superseded, or no longer needed.
- Cleaning up stale PRs.
Inputs to confirm
- PR number, URL, or branch name.
- Whether to delete the associated branch.
- Optional closing comment.
- Target repo if not current (
--repo OWNER/REPO).