github_merge_pull_request
Squash-merge a GitHub pull request only after a human approves the exact merge, atomically consuming the approval to ensure no other action uses it.
Instructions
Squash-merge a GitHub pull request only after a human approved this exact merge for the same maintenance run. Do not call for pull-request review runs or without the matching approval ID and version. The approval is atomically consumed before the external merge, so it cannot authorize another action.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| runId | Yes | Maintenance run UUID that owns the approved action. | |
| approvalId | Yes | Approved and unconsumed RepoPilot approval UUID for merge_pull_request. | |
| pullNumber | Yes | Positive pull request number approved for merge. | |
| repository | Yes | GitHub repository in owner/name format; it must be present in GITHUB_ALLOWED_REPOSITORIES. | |
| commitTitle | No | Optional squash commit title; omit to use GitHub's default. | |
| approvalVersion | Yes | Exact optimistic-lock version of the approved action. |