git_pull
Pull updates from a remote Git repository into a local branch using specified path, remote, and branch parameters. Simplify repository synchronization with this tool on the GitMCP server.
Instructions
Pull changes from remote repository
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch name | main |
| path | Yes | Repository path | |
| remote | No | Remote name | origin |