define_repo_group
Create, replace, or delete a repo group to organize documentation repositories. Use an empty repos list to remove a group; changes persist to ~/.doc-index/_groups.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 |