git_push
Push local Git commits to a remote repository in the Gitopia MCP Server. Specify repository path and optional parameters like branch, remote, or force push.
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 |