git_push
Push local commits to a remote repository. Supports branch selection, setting upstream, and force push.
Instructions
Push commits to remote. Uses GITHUB_TOKEN from env if available.
Options:
branch: specific branch (default: current)
set_upstream: track new branches (default: True)
force: force push (use with caution!)
Returns: {branch, remote, sha, commits_pushed, is_new_branch, force}
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| remote | No | origin | |
| branch | No | ||
| set_upstream | No | ||
| force | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||