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 |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"description": "Branch to push (default: current branch)",
"type": "string"
},
"force": {
"default": false,
"description": "Whether to force push",
"type": "boolean"
},
"remote": {
"default": "origin",
"description": "Remote name",
"type": "string"
},
"repo_path": {
"description": "The path to the local Git repository",
"type": "string"
}
},
"required": [
"repo_path"
],
"type": "object"
}