{ "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" ] } }