git_pull
Pull changes from a remote Git repository to update local files. Specify the remote name, branch, and repository path for precise synchronization.
Instructions
Pull changes from remote
Input Schema
Name | Required | Description | Default |
---|---|---|---|
branch | No | Branch name | |
cwd | No | Repository path | |
remote | No | Remote name |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"description": "Branch name",
"type": "string"
},
"cwd": {
"description": "Repository path",
"type": "string"
},
"remote": {
"description": "Remote name",
"type": "string"
}
},
"type": "object"
}