Land your open pull requests, one at a time.
What it does
Merges a fixed set of open pull requests individually through the repository's merge gates.
When to use it
Use when asked to merge all open pull requests or land a specified set together.
How to use it
Give it a repository; it snapshots the open pull requests and merges them individually through the forge.
What you provide
- An existing project
Uses
Good to know
- cannot be undone: GitHub
What you need · 3
Uses the GitHub CLI to inspect pull requests, check repository gates, and merge the selected pull requests.
Routes conflict resolution on a pull request's branch to resolve-pr-conflicts when needed; a separate installation requirement is unstated.
Uses babysit to wait until every required check is green before merging; a separate installation requirement is unstated.
Access · 1
This skill
GitHub
Merges PRs and deletes branches (irreversible)