push
Push commits and tags to a remote Git repository, optionally force-pushing changes or skipping pre-push hooks, using the Git MCP Server for enhanced Git operations.
Instructions
Push commits to remote
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | Yes | Branch name | |
| force | No | Force push changes | |
| noVerify | No | Skip pre-push hooks | |
| path | No | Path to repository. MUST be an absolute path (e.g., /Users/username/projects/my-repo) | |
| remote | No | Remote name | origin |
| tags | No | Push all tags |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"description": "Branch name",
"type": "string"
},
"force": {
"default": false,
"description": "Force push changes",
"type": "boolean"
},
"noVerify": {
"default": false,
"description": "Skip pre-push hooks",
"type": "boolean"
},
"path": {
"description": "Path to repository. MUST be an absolute path (e.g., /Users/username/projects/my-repo)",
"type": "string"
},
"remote": {
"default": "origin",
"description": "Remote name",
"type": "string"
},
"tags": {
"default": false,
"description": "Push all tags",
"type": "boolean"
}
},
"required": [
"branch"
],
"type": "object"
}