merge_pull_request
Automatically merge GitHub pull requests using specified methods (merge, squash, rebase), delete merged branches, and preview changes with dry run functionality.
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 |