git_push
Push local commits to a remote Git repository. Required: repo_path. Optional: remote, branch, force, set_upstream, dry_run. For staging, committing, and pushing in one step, use commit_and_push_changes.
Instructions
Use this when you have local commits ready to publish to the remote. Requires 'repo_path'. Optional: 'remote' (default 'origin'), 'branch' (default current), 'force', 'set_upstream', 'dry_run'. Prefer commit_and_push_changes for a single-step stage+commit+push workflow. See also: commit_and_push_changes, create_pull_request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_path | Yes | Repository path relative to workspace | |
| remote | No | Remote name (default: origin) | |
| branch | No | Branch to push | |
| force | No | Force push | |
| set_upstream | No | Set upstream tracking | |
| dry_run | No | Dry run |