git_push
Push the current HEAD commit to a specified branch on a remote and optionally set upstream. Supply the expected remote OID when replacing history to confirm the update.
Instructions
Push HEAD to one branch; replacing history requires the expected remote OID.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "git_push"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | ||
| remote | No | origin | |
| set_upstream | No | ||
| expected_remote_oid | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| error | No | ||
| changes | Yes | ||
| updates | No | ||
| conflicts | Yes | ||
| operation | Yes | ||
| head_after | Yes | ||
| head_before | Yes | ||
| process_ids | Yes | ||
| synchronization_error | No |