define_repo_group
Create, replace, or delete a named group of repositories. Empty repos list removes the group; changes persist to a JSONC file.
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 |