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.
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. |