| { | |
| "name": "git_pull", | |
| "description": "Fetch from and integrate with another repository or a local branch (git pull).", | |
| "inputSchema": { | |
| "type": "object", | |
| "properties": { | |
| "directory": { | |
| "description": "The directory to run git pull in", | |
| "type": "string" | |
| } | |
| }, | |
| "required": [ | |
| "directory" | |
| ] | |
| } | |
| } |