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 |