Git Push Only
git_push_onlyPush an existing local commit exactly once, bypassing staging, commit, and clean-workspace checks. Requires explicit push-only intent; on failure, returns the Git error and manual command.
Instructions
Push an already-created local commit exactly once without staging, committing, rerunning Acceptance, or requiring a clean workspace. Requires explicit push-only intent; failure returns the original Git error and a manual command.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| user_intent | Yes | Original user wording that explicitly requests push or retry push. | |
| workspace_id | No | Optional workspace id. When omitted, CodexPro binds the authoritative conversation workspace automatically; an explicit unknown or mismatched id is rejected. | |
| conversation_id | No | Connector conversation id bound to this workspace. Modern MCP injects it automatically; side-effecting tools require it to match the authoritative binding. | |
| workspace_generation | No | Optional authoritative workspace generation. When omitted, CodexPro injects the conversation-bound generation; an explicit stale generation is rejected. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tool_result | Yes |