推送精确提交
git_pushPush an exact commit SHA to a named remote branch, verify the remote SHA matches expectations, and reject non-fast-forward or force-push scenarios to enforce safe, auditable branch updates.
Instructions
Push exactly one full commit SHA to one named remote branch, reject unexpected remote advancement or non-fast-forward state, forbid force, and verify the remote SHA after push.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | Yes | Exact target branch. | |
| remote | No | Remote name. Default: origin. | |
| commit_sha | Yes | Exact full commit SHA to 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. | |
| authorization_ref | Yes | Reference to the explicit user or task authorization for this push. | |
| expected_remote_sha | Yes | Remote SHA observed before authorization, or null when the branch did not exist. | |
| 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 |