merge_pull_request
Merge pull requests in GitHub or GitLab repositories. Specify repository, PR number, and optional settings like squash commits or branch deletion.
Instructions
Merge a pull request (merge request in GitLab)
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository identifier (GitLab: "group/project" or ID, GitHub: "owner/repo") | |
| pr_number | Yes | Pull request number | |
| commit_message | No | Custom merge commit message | |
| squash | No | Squash commits | |
| delete_branch | No | Delete source branch after merge |