merge_pull_request
Merge a GitHub pull request by specifying repository owner, name, and pull request number. Supports merge methods, commit titles, and optional head SHA validation.
Instructions
Merge a pull request in a GitHub repository. Docs: https://docs.github.com/en/rest/pulls/pulls#merge-a-pull-request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sha | No | SHA the pull request head must match to allow the merge | |
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or organization login) | |
| pull_number | Yes | Pull request number | |
| commit_title | No | Title for the automatic merge commit message | |
| merge_method | No | Merge method to use | |
| commit_message | No | Extra detail to append to the automatic merge commit message |