list_repos
List GitHub repositories indexed with index_repo, showing repo name, HEAD SHA, dataset count, total rows, and dataset names for each.
Instructions
List GitHub repositories indexed via index_repo. Shows repo name, HEAD SHA, dataset count, total rows, and dataset names for each repo. Covers repos indexed with index_repo only; a dataset added by index_local is not listed here.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||