define_repo_group
Define repository groups to segment documentation into sections. Empty repos list deletes the group; configuration persists for manual edits.
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 |