merge_pr
Merge a pull request on GitHub by specifying repository and PR number, with options for commit message and merge method (merge, squash, or rebase).
Instructions
Merges a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_owner | Yes | ||
| repo_name | Yes | ||
| pr_number | Yes | ||
| commit_title | No | ||
| commit_message | No | ||
| merge_method | No | squash |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||