set_repo_visibility
Control repository visibility in the status bar by showing or hiding specific repos using their labels to manage monitoring focus.
Instructions
Show or hide a specific repo in the status bar by its label.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| label | Yes | Repo label | |
| show | Yes | true = show in status bar, false = hide |
Implementation Reference
- src/tools/config-tools.ts:74-92 (handler)The handler implementation for the set_repo_visibility tool, which updates the visibility of a repository in the configuration and saves the changes.
// --- set_repo_visibility --- server.tool( "set_repo_visibility", "Show or hide a specific repo in the status bar by its label.", { label: z.string().describe("Repo label"), show: z.boolean().describe("true = show in status bar, false = hide"), }, async ({ label, show }) => { const config = loadConfig(); const repo = config.repos.find((r) => r.label === label); if (!repo) { return { content: [{ type: "text", text: `No repo found with label "${label}".` }] }; } repo.show = show; saveConfig(config); return { content: [{ type: "text", text: `${label}: now ${show ? "visible" : "hidden"} in status bar.` }] }; } );