git_pull
Pull from a remote to sync your local branch with upstream changes, merging or rebasing for a linear history. Conflicts are reported for resolution.
Instructions
Pull from a remote and merge (or rebase) into the current branch. Use this to sync local work with upstream changes, with rebase=True to keep a linear history instead of a merge commit. Does NOT fetch only — use git_fetch to update tracking branches without touching the working tree; conflicts are reported as errors, resolve and retry. Best for: syncing local work with upstream changes. Returns: 'Pulled from 'origin'.' followed by per-ref lines.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch to pull, defaults to the tracking branch | |
| rebase | No | Rebase instead of merge | |
| remote | No | Remote to pull from, defaults to origin | |
| repo_path | No | Path to the git repository, defaults to '.' (the server working directory) | . |