github_merge_pr
Merge a pull request on GitHub by specifying the repository and PR number, with options to choose merge, squash, or rebase strategies and customize commit details.
Instructions
Merge a pull request.
Args: owner: Repository owner repo: Repository name pr_number: PR number to merge merge_method: Merge strategy — 'merge', 'squash', or 'rebase' (default: merge) commit_title: Custom merge commit title (empty = default) commit_message: Custom merge commit message (empty = default) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes | ||
| commit_title | No | ||
| merge_method | No | merge | |
| session_name | No | default | |
| commit_message | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |