Report the fix you pushed
report_fixReports a pushed fix: the branch and the commit sha. The Deployer reads the commit from the git host, checks the change (no CI, agent settings or .env files; no secrets), then deploys it or opens a pull request for the person to ship, depending on the project's settings.
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": {
"id": "<id>",
"branch": "<branch>",
"sha": "<sha>"
},
"name": "report_fix"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | ||
| sha | Yes | The pushed commit's sha | |
| note | No | What changed, in a sentence or two | |
| branch | Yes | The branch the fix was pushed to | |
| workspace | No | A teammate's workspace id. Default: your own. |