Github Merge Pr
github_merge_prMerge a specific pull request using merge, squash, or rebase, optionally requiring the expected head SHA so GitHub rejects the merge if a newer push arrived after your read.
Instructions
Merges a specific pull request. Read head_sha from github_get_pr_content and pass it as expected_head_sha, and GitHub refuses with a 409 rather than merge a push that arrived after the read. See #517.
Workflow and conventions: github_get_skill('pr-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes | ||
| commit_title | No | ||
| merge_method | No | squash | |
| commit_message | No | ||
| expected_head_sha | No | Refuse unless the head still matches this SHA, as github_get_pr_content reports it |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||