git_push
Push changes from a local Git repository to a specified remote branch. Configure repo path, remote, branch, and force options to streamline updates.
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 |