merge_pull_request
Merge a pull request by ID, choosing merge strategy (merge_commit, squash, or fast_forward) and optionally close the source branch.
Instructions
Merge a pull request.
Args: pr_id: PR ID number strategy: Merge strategy - merge_commit, squash, or fast_forward (optional, uses repo default) close_source: Close/delete source branch after merge (default True) workspace: Workspace slug repo: Repository slug
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | ||
| pr_id | Yes | ||
| strategy | No | ||
| workspace | No | ||
| close_source | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |