Github Merge Pr
github_merge_prMerge a GitHub pull request by specifying the repository owner, repo name, and PR number. Choose merge method (merge, squash, rebase) and optionally set commit title and message.
Instructions
Merges a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes | ||
| commit_title | No | ||
| merge_method | No | squash | |
| commit_message | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||