eia-github-pr-merge
Installation
SKILL.md
GitHub PR Merge Operations
Overview
This skill provides comprehensive guidance for merging pull requests, checking merge status, verifying merge readiness, and configuring auto-merge using the GitHub API.
Prerequisites
- GitHub CLI (
gh) installed and authenticated - Python 3.8+ for running automation scripts
- Repository write access for merge operations
- GraphQL API access (included with standard GitHub authentication)