define_repo_group
Organize repositories into named groups to streamline documentation navigation. Create, replace, or delete groups; empty list deletes. Persisted to JSONC.
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 |