merge_pull_request
Merge a GitHub pull request by specifying repository details, pull request number, and preferred merge method (merge, squash, or rebase).
Instructions
Merge a pull request
Input Schema
Name | Required | Description | Default |
---|---|---|---|
commit_message | No | Extra detail to append to automatic commit message | |
commit_title | No | Title for the automatic commit message | |
merge_method | No | Merge method to use | |
owner | Yes | Repository owner (username or organization) | |
pull_number | Yes | Pull request number | |
repo | Yes | Repository name |