merge_pr
Merges a pull request on GitHub with customizable merge method (squash, merge, rebase) and options to delete the head branch.
Instructions
Merge a pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | GitHub owner/org name. | |
| repo | Yes | Repository name. | |
| number | Yes | PR number. | |
| method | No | "squash" | "merge" | "rebase". Default "squash". | squash |
| delete_branch | No | Whether to delete the head branch after merge. Default true. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||