merge_pull_request
Merge a GitHub pull request using specified methods (merge, squash, rebase) and optionally delete the branch. Supports dry runs to preview changes before execution.
Instructions
Merge a GitHub pull request
Input Schema
Name | Required | Description | Default |
---|---|---|---|
deleteBranch | No | Delete branch after merge | |
dryRun | No | Preview without executing | |
mergeMethod | No | Merge method | merge |
prNumber | Yes | Pull request number | |
workingDir | No | Working directory path |
Input Schema (JSON Schema)
{
"properties": {
"deleteBranch": {
"default": true,
"description": "Delete branch after merge",
"type": "boolean"
},
"dryRun": {
"default": false,
"description": "Preview without executing",
"type": "boolean"
},
"mergeMethod": {
"default": "merge",
"description": "Merge method",
"enum": [
"merge",
"squash",
"rebase"
],
"type": "string"
},
"prNumber": {
"description": "Pull request number",
"type": "string"
},
"workingDir": {
"description": "Working directory path",
"type": "string"
}
},
"required": [
"prNumber"
],
"type": "object"
}