git_pull
Pull updates from a remote Git repository into a local branch using specified path, remote, and branch parameters. Simplify repository synchronization with this tool on the GitMCP server.
Instructions
Pull changes from 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"
}