delete_repo

Remove an indexed repository, its metadata record, and optionally its cloned files.

delete_repo removes an indexed repository. It drops the vector table, removes the metadata record, and (by default) deletes the cloned source files from disk. Use it to free space or to cleanly remove a repo before re-indexing it on a different branch.

Inputs

Name	Type	Required	Default	Description
`repo`	string	✓	—	Repository in `owner/repo` format.
`branch`	string		default	Branch to delete. Omit to delete the default-branch index.
`remove_files`	boolean		`true`	Also delete the cloned source files from disk. Set `false` to keep the checkout and drop only the index.

Example

{ "name": "delete_repo", "arguments": { "repo": "facebook/react", "remove_files": true } }

What happens

The tool reports each step it completed, for example:

Deleted facebook/react: Dropped vector index, Removed metadata record, Removed cloned files.

It runs three steps independently — dropping the vector index, removing the metadata record, and removing cloned files — and reports any warnings without aborting the whole operation.

Notes

After deletion you must run index_repo again before you can search the repo.
If the exact branch isn't found, Clean fuzzily resolves the repo name so you can delete by bare name.

delete_repo

Inputs

Example

What happens

Notes

On this page