Pull from Overleaf
sync_projectPull Overleaf commits into one project's local clone to check it is current or after a collaborator pushes. It sends nothing, keeps local work, and reports pulled and unpushed commits.
Instructions
Pull the latest commits from Overleaf into one project's local clone. Nothing is sent to Overleaf and no local edit is discarded. The read tools pull on their own, so this is rarely needed first; call it to check explicitly that the clone is current, or after a collaborator says they have pushed. Use project_status for the full picture. If the pull cannot complete cleanly it fails and leaves local work untouched, rather than resolving the conflict on its own. Only the chosen project is pulled; a project not opened before is cloned instead, and reports nothing pulled. Returns how many commits were pulled and how many local commits are still unpushed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | No | Which project to use: its Overleaf address, its 24-character id, or a registered project name. Omit to use the default project. |