git_push
Push local repository changes to a remote Git branch using specified parameters like repo path, remote, and branch. Supports force push for overwriting remote history.
Instructions
Push changes to a remote repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch to push (default: current branch) | |
| force | No | Whether to force push | |
| remote | No | Remote name | origin |
| repo_path | Yes | The path to the local Git repository |