git_push
Push commits to a specified branch in a remote repository using the GitMCP server. Requires repository path, with optional remote and branch parameters for precise control.
Instructions
Push commits to remote repository
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch name | main |
| path | Yes | Repository path | |
| remote | No | Remote name | origin |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"default": "main",
"description": "Branch name",
"type": "string"
},
"path": {
"description": "Repository path",
"type": "string"
},
"remote": {
"default": "origin",
"description": "Remote name",
"type": "string"
}
},
"required": [
"path"
],
"type": "object"
}