delete_repo
Permanently delete a cached repository and its metadata to free disk space and remove analysis results.
Instructions
Remove a cached repository from the MCP server's cache, including all associated metadata and analysis results.
⚠️ DESTRUCTIVE OPERATION: This permanently removes cached repositories and cannot be undone.
WHAT IT DOES:
Removes ALL cached versions of the repository (shared and per-branch cache entries)
Deletes associated metadata including clone status and analysis results
Frees up disk space and cache slots
Cleans up in-memory references
IDENTIFICATION METHODS:
Repository URL: Use the same URL format provided to clone_repo Examples: 'https://github.com/user/repo', 'https://dev.azure.com/org/project/_git/repo'
Direct cache path: Use the absolute file system path to the cached repository Example: '/path/to/cache/dir/github_com_user_repo_main'
PARAMETER:
repo_identifier: Repository URL or direct cache path to identify which repository to delete
USE CASES:
Clean up repositories no longer needed for analysis
Free cache space when approaching maximum cached repositories limit
Remove corrupted or problematic cache entries
Cache management and maintenance operations
NOTE: After deletion, the repository will need to be re-cloned via clone_repo before it can be analyzed again.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_identifier | Yes |