merge_pull_request
Merge a pull request on a GitHub repository by providing owner, repo, and pull number. Optionally customize commit title, message, and merge method.
Instructions
Merge a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| pull_number | Yes | ||
| commit_title | No | ||
| commit_message | No | ||
| merge_method | No |