define_repo_group
Create, replace, or delete named repo groups to organize documentation sections for targeted navigation and reduced token usage.
Instructions
Create, replace, or delete a repo group (v1.26+). Empty repos list deletes the group. Persisted to ~/.doc-index/_groups.jsonc (JSONC — hand-edits welcome).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | ||
| repos | Yes |