merge_pull_request
Merge a pull request in a GitHub repository by specifying owner, repo, and pull number. Supports merge, squash, or rebase methods with custom commit titles and messages.
Instructions
Merge a pull request in a repository
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pull_number | Yes | ||
| commit_title | No | ||
| merge_method | No | The merge method to use. Default is 'merge'. | |
| commit_message | No |