merge-pull-request
Automatically merge pull requests on GitHub Enterprise by specifying the repository, owner, PR number, and desired merge method (merge, squash, or rebase). Simplifies integration via API for streamlined workflow management.
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 | merge |
| owner | Yes | Repository owner (user or organization) | |
| pull_number | Yes | Pull request number | |
| repo | Yes | Repository name |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"commit_message": {
"description": "Extra detail to append to automatic commit message",
"type": "string"
},
"commit_title": {
"description": "Title for the automatic commit message",
"type": "string"
},
"merge_method": {
"default": "merge",
"description": "Merge method to use",
"enum": [
"merge",
"squash",
"rebase"
],
"type": "string"
},
"owner": {
"description": "Repository owner (user or organization)",
"type": "string"
},
"pull_number": {
"description": "Pull request number",
"type": "number"
},
"repo": {
"description": "Repository name",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}