merge_pr
Merge a pull request on GitHub with configurable merge method and automatic branch deletion.
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 | |||