git_push
Publish local commits to a remote repository, optionally including tags; force push requires explicit confirmation. Use when local work is ready to share.
Instructions
Push commits to a remote (default origin), optionally including tags. Use this to publish local commits when work is ready to share, and to push tags for releases; force=True overwrites remote history and requires confirmed=True, tags=True also pushes tags. Does NOT integrate upstream work — if the remote has diverged, use git_fetch or git_pull first. Best for: publishing local commits to the remote repository. Returns: 'Pushed to 'origin'.' followed by per-ref lines; use git_remote to check where the push will go.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tags | No | Also push tags | |
| force | No | Force push | |
| branch | No | Branch to push, defaults to the current branch | |
| remote | No | Remote to push to, defaults to origin | |
| confirmed | No | Explicit confirmation required when force is True | |
| repo_path | No | Path to the git repository, defaults to '.' (the server working directory) | . |