git_pull
Fetch and integrate changes from a remote Git repository into the specified branch using the GIT MCP Server. Input repository path, remote, and branch for synchronization.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch name | |
| remote | No | Remote name | |
| repository_path | Yes | Path to the git repository |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"branch": {
"description": "Branch name",
"type": "string"
},
"remote": {
"description": "Remote name",
"type": "string"
},
"repository_path": {
"description": "Path to the git repository",
"type": "string"
}
},
"required": [
"repository_path"
],
"type": "object"
}