Merge prepared GitHub PRs with squash commits and cleanup.
npx skills add https://github.com/RobbyMo81/assistantrobby --skill merge-pr-robbymo81
Please help me install this Agent Skill. Skill: merge-pr Source: https://github.com/RobbyMo81/assistantrobby/tree/main/.agents/archive/merge-pr-v1 Command: npx skills add https://github.com/RobbyMo81/assistantrobby --skill merge-pr-robbymo81
This Skill automates the safe, deterministic merging of prepared GitHub pull requests, preventing unsafe pushes to main and ensuring post-merge cleanup of worktrees.
Run the merge-pr command after preparing a PR with /prepare-pr to complete the end-to-end merge workflow.
High-intent search queries and answers about installing and using this skill.
To automate a safe squash merge for a prepared GitHub PR, this Skill validates the head commit, applies the merge deterministically using --match-head-commit, and deletes the branch post-merge. It records the merge SHA and posts a confirmation comment with author and reviewer trailers.
The best way to prevent unsafe pushes to main during a PR merge is to enforce a deterministic squash merge workflow. This Skill applies head-commit validation and executes the merge only after confirming the final MERGED state, ensuring the main branch remains stable.
To clean up local worktrees and branches after merging a pull request, this Skill uses the --delete-branch flag during the squash merge process. It automatically handles the post-merge cleanup, preventing stale worktrees from accumulating.
Yes, the squash merge automatically includes co-author and reviewer information. This Skill generates an automated commit message with Co-authored-by trailers and a reviewer tag, and posts a PR comment containing the full merge summary.
Before running an automated PR merge command, you need to prepare your PR using a preparatory review process that uses local worktrees. The Skill enforces head-commit validation and checks against the prepared state to ensure a safe, deterministic merge.
You should use --match-head-commit when merging a GitHub pull request to guarantee the exact reviewed commit is merged. This prevents race conditions where new commits are pushed mid-merge, ensuring the final MERGED state matches the validated head SHA.
victor-brechbillMerge a prepared GitHub pull request via squash and clean up worktrees.
airhornsMerge origin/main into the local feature branch and resolve conflicts.
erikliebenManage git repositories with bare and worktree layouts for parallel branches.
adoreseverSquash-merge prepared GitHub PRs with exact head-commit matching and cleanup.
