github_merge_pull_request
Merge a GitHub pull request by passing required arguments as a JSON string.
Instructions
Github connector operation merge_pull_request (platform tool github.merge_pull_request).
Routes through /api/tools/invoke under your JWT, tenant, and company scope.
Args: arguments: JSON string of arguments for the connector operation.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| arguments | No | {} |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |