repos_remove

Removes one repository entry from the Travsr registry by name.

Input schema

{
  "type": "object",
  "required": ["name"],
  "properties": {
    "name": {
      "type": "string",
      "description": "The registry name of the repository to remove."
    }
  }
}

Output

removed repo 'old-api'

Notes

This removes the registry entry only. It does not delete the repository directory or its .travsr/graph.db file. Use this when you know the repo name; to bulk-remove all stale entries at once, use repos_prune instead.