github_list_repos
List a SMALL page of the user's GitHub repos (name + private + updated only) so they can pick an existing one to link. LAZY: defaults to 10; pass query to filter by name rather than paging through everything. Only raise limit if the user's repo isn't shown — never dump the whole list into context.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Page size, default 10, max 30 | |
| query | No | Filter repos by name substring (preferred over paging) |