index_repo
Index a Git repository from a local path or remote URL, creating a searchable index job with a retrievable ID for progress tracking.
Instructions
Index a git repository. Accepts a local path (with ~/ expansion) or a remote git URL. Auto-detects current branch for local repos. Returns immediately with a job_id; poll get_index_job to track progress. Re-indexing the same source upserts (no duplicates). By default an already-indexed, unchanged source no-ops to its prior job — set force=true to force a full re-index.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | No | ||
| path | No | ||
| force | No | ||
| branch | No |