git_pull_reindex
Update knowledge index by pulling latest git commits and re-indexing only changed files.
Instructions
Pull latest commits from the knowledge repo git remote, then re-index.
Call this AFTER pushing .md files to the knowledge repo. Runs
'git pull' on the cloned docs directory, then re-indexes only changed
files. No-op if the repo is already up to date.
Requires MCP_GIT_REPO_URL to be configured. Use reindex() instead
when files were written locally (not via git push).
Args:
project: Target project name (optional)
Returns:
"Already up to date" if no changes, otherwise files indexed,
chunks upserted, and stale chunks removed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |