git_push
Generate a diff file and upload its path to a configured HTTP API instead of running git push. Use for custom push workflows without executing remote git commands.
Instructions
Create a diff file and upload its path to the configured HTTP API instead of running git push.
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 |
|---|---|---|---|
| cwd | No | Optional local working directory or repository path. | |
| args | No | Original push-like arguments to forward as metadata, not to execute as git push. | |
| base | No | Base revision used for creating the diff. | HEAD |
| message | No | Optional message to include in the push upload payload. |