Github Merge Pr
github_merge_prMerges a pull request in a GitHub repository by providing the repository owner, repository name, and PR number, with optional commit title, message, and merge method.
Instructions
Merges a specific pull request.
Workflow and conventions: github_get_skill('pr-management').
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 | |||