Manage GitHub pull requests through to merge.
Manages GitHub repository work through the CLI, including pull requests, issues, reviews, and CI.
When to use it
Use for GitHub operations, while using git for local repository operations and code-reading tools for deep reviews.
Give it a GitHub task; it performs the requested operation and, for merges, verifies the final GitHub state.
Requires the GitHub CLI.
Requires authenticated GitHub access for account operations; includes commands to check authentication and log in.
This skill
GitHub
Reruns failed CI jobs
Updates GitHub issues and pull requests (irreversible)