github_merge_pull_request
Merge an open pull request on GitHub by specifying owner, repository, and pull request number. Optionally choose merge, squash, or rebase method.
Instructions
Merge an open pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name. | |
| owner | Yes | Repository owner. | |
| method | No | Merge method. | |
| number | Yes | Pull request number. |