git_push
Push local Git commits to a remote repository to share changes with collaborators and update remote branches.
Instructions
Push changes to remote repository
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| remote | No | Remote name (default: origin) | origin |
| branch | No | Branch name to push (default: current branch) | |
| setUpstream | No | Set upstream tracking branch (-u flag) |