git_push
Push a local Git branch to a configured remote, with optional upstream setup for tracking.
Instructions
Push a Git branch to a remote using Git directly. This is an external mutation and is approval-gated by the developer policy.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | No | Git repository directory; defaults to the workspace. | |
| branch | No | Branch; defaults to the current branch. | |
| remote | No | Remote name; defaults to origin. | |
| set_upstream | No |