Merge fix PR
merge_fixSquash-merge a fix attempt's GitHub PR, mark the linked report as fixed, and notify the reporter. Ensures CI is green before merging.
Instructions
Squash-merge the GitHub PR for a fix attempt, mark the linked report fixed, and notify the reporter. Re-readies the PR first if it is still a draft. Returns { merged, reportStatus }. Write; destructive and irreversible from Mushi's side — once GitHub merges into the target repo's default branch there is no unmerge endpoint, only a manual revert PR outside this tool. Idempotent — re-running an already-merged attempt is a safe no-op. Prerequisite: CI green (check with refresh_ci); confirm the diff and CI status with the user before calling on a PR you have not reviewed. Use to ship a fix opened by dispatch_fix; use transition_status to change state without merging.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| fixId | Yes | Fix attempt UUID whose GitHub PR should be squash-merged | |
| mergeMethod | No | GitHub merge method (default squash) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| merged | No | True when GitHub accepted the merge in this call | |
| reportId | Yes | Report UUID linked to this fix attempt | |
| reportStatus | Yes | Report workflow status after merge bookkeeping | |
| alreadyMerged | No | True when the PR was already merged (idempotent no-op) |