github-pr-merge
Merges GitHub Pull Requests after validating pre-merge checklist. Use when user wants to merge PR, close PR, finalize PR, complete merge, approve and merge, or execute merge. Runs pre-merge validation (tests, lint, CI, comments), confirms w
What does this skill do?
Merges GitHub Pull Requests after validating pre-merge checklist. Use when user wants to merge PR, close PR, finalize PR, complete merge, approve and merge, or execute merge. Runs pre-merge validation (tests, lint, CI, comments), confirms with user, merges with proper format, handles post-merge cleanup.
How do you install it?
git clone --depth 1 https://github.com/fvadicamo/dev-agent-skills.git Then point your agent at the skill directory.
Where does it come from?
Repository: fvadicamo/dev-agent-skills 69 stars on GitHub at the time of listing. The repository ships 1 skills in total.