git_push
Push Git commits to remote repositories to synchronize local changes with team members and deployment environments.
Instructions
Push commits to remote repository
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| cwd | No | Repository directory | |
| remote | No | Remote name | origin |
| branch | No | Branch to push (defaults to current branch) | |
| force | No | Force push (use with caution) | |
| setUpstream | No | Set upstream tracking |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"description": "Branch to push (defaults to current branch)",
"type": "string"
},
"cwd": {
"description": "Repository directory",
"type": "string"
},
"force": {
"default": false,
"description": "Force push (use with caution)",
"type": "boolean"
},
"remote": {
"default": "origin",
"description": "Remote name",
"type": "string"
},
"setUpstream": {
"default": false,
"description": "Set upstream tracking",
"type": "boolean"
}
},
"type": "object"
}