git_pull
Pull updates from a remote Git repository, specify branch and rebase options, and sync local code with the latest changes. Ideal for managing repository versions and maintaining up-to-date working copies.
Instructions
Pull changes from a remote repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch to pull (default: current branch) | |
| rebase | No | Whether to rebase instead of merge | |
| remote | No | Remote name | origin |
| repo_path | Yes | The path to the local Git repository |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"description": "Branch to pull (default: current branch)",
"type": "string"
},
"rebase": {
"default": false,
"description": "Whether to rebase instead of merge",
"type": "boolean"
},
"remote": {
"default": "origin",
"description": "Remote name",
"type": "string"
},
"repo_path": {
"description": "The path to the local Git repository",
"type": "string"
}
},
"required": [
"repo_path"
],
"type": "object"
}