list_repos
List GitHub repositories indexed via index_repo, showing repo name, HEAD SHA, dataset count, total rows, and dataset names. Use it to track which repositories have been indexed and review their linked datasets.
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 | |||