delete_index
Remove a repository's index and cached files to free up space or reset indexing. Source documents remain untouched; re-index to rebuild.
Instructions
Remove a repo index and its cached raw files. Deletes the index and its cached files, never your source documents. There is no undo; re-index to restore.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository identifier (owner/repo or just repo name) |