git_pull
Pull changes from a remote Git repository to update your local branch. Specify the remote name, branch, and repository path.
Instructions
Pull changes from remote
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| remote | No | Remote name | |
| branch | No | Branch name | |
| cwd | No | Repository path |
Implementation Reference
- src/services/GitService.ts:293-299 (handler)The gitPull method that executes the pull command using gitCommand helper. Pulls from the specified remote (default 'origin') and optionally a specific branch.
async gitPull(args: GitPullArgs): Promise<ToolResult> { const { remote = 'origin', branch, cwd } = args; const pullArgs = ['pull', remote]; if (branch) pullArgs.push(branch); return await this.gitCommand(pullArgs, cwd); } - src/services/GitService.ts:38-41 (schema)GitPullArgs interface defining input schema for git_pull: remote (optional, default 'origin'), branch (optional), cwd (optional).
export interface GitPullArgs extends GitCommandArgs { remote?: string; branch?: string; } - src/index.ts:195-196 (registration)Registration of git_pull handler in the main tool router - dispatches to gitService.gitPull(args).
case 'git_pull': return await this.gitService.gitPull(args); - src/toolDefinitions.ts:285-296 (helper)Tool definition schema for git_pull with name, description, and inputSchema properties (remote, branch, cwd).
{ name: 'git_pull', description: 'Pull changes from remote', inputSchema: { type: 'object', properties: { remote: { type: 'string', description: 'Remote name' }, branch: { type: 'string', description: 'Branch name' }, cwd: { type: 'string', description: 'Repository path' }, }, }, },