remove_repo
Delete a repository from the status bar by specifying its label to manage repository visibility and configuration.
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 implementation of the 'remove_repo' tool handler which filters the repo list based on the provided label and saves the configuration.
// --- 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}` }] }; } );