fin - Automated GitHub PR Finalization and Cleanup
Finalizes GitHub pull requests by updating branches, monitoring CI checks, performing squash-merges, and cleaning up state
Tags
Updated: 2026-02-12Typical Inputs
Typical Outputs
What this skill does
- identify target PR
- update PR branch
- monitor CI checks
- perform squash-merge
- clean up local state
- delete merged branch
Inputs
- GitHub repository
- Pull request
- Target branch
- CI system
- Git credentials
Outputs
- Merged pull request
- Deleted branch
- Clean local repository
- Updated mainline
Requirements
- GitHub CLI access
- Repository write permissions
- Git installed locally
- Required approvals
- Green CI status
