mark_merged
Flip a handoff to merged status and record its merge commit, so integrators can close work once the bundled commit lands in main. Reuses identical commits and blocks conflicting overwrites.
Instructions
Flip a handoff to status=merged and record the merge commit. Typically called by an integrator script after the bundle containing the handoff's commit_hash lands in main. Idempotent on identical merge_commit; refuses to overwrite a different one.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"handoff_id": "<handoff_id>",
"merge_commit": "<merge_commit>"
},
"name": "mark_merged"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| handoff_id | Yes | Handoff ID (UUID) to mark as merged. | |
| merge_commit | Yes | Merge commit ref (typically the merge-to-main SHA that bundled the work). Free-form — any opaque identifier works. |