remove_repo
Remove a repository from the status bar by specifying its label to declutter the interface and manage tracked repositories.
Instructions
Remove a repository from the status bar by its label.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| label | Yes | Repo label to remove |
Implementation Reference
- src/tools/config-tools.ts:57-72 (handler)The 'remove_repo' tool handler logic which removes a repository from the configuration based on its label.
// --- remove_repo --- server.tool( "remove_repo", "Remove a repository from the status bar by its label.", { label: z.string().describe("Repo label to remove") }, async ({ label }) => { const config = loadConfig(); const before = config.repos.length; config.repos = config.repos.filter((r) => r.label !== label); if (config.repos.length === before) { return { content: [{ type: "text", text: `No repo found with label "${label}".` }] }; } saveConfig(config); return { content: [{ type: "text", text: `Removed repo: ${label}` }] }; } );