repos_prune
Removes all registry entries whose database file no longer exists on disk.
Input schema
{
"type": "object",
"properties": {}
}
Output
pruned: 1
old-api
The first line is pruned: N where N is the number of entries removed. Subsequent lines list the removed repo names.
When to use
After deleting or archiving project directories, run repos_prune to clean up stale entries from the registry so they no longer appear in repos_list or the Repos panel.