List GitHub Repositories
list_github_reposList repos the workspace's GitHub connection can see (for import_project).
Each entry has full_name, default_branch, private, language, pushed_at. A
`full_name` is what import_project(repo_full_name) connects. Reading the
list can MINT a short-lived GitHub installation token, so this is not a pure
read. Returns 409 if GitHub isn't connected yet — connect_github() is
required first. A provider failure is translated into a typed, actionable
error instead of passing GitHub's response through: a missing or suspended
App installation, a revoked OAuth token, or a non-rate-limit permission
denial is a 409 naming connect_github(); a recognized rate limit is a 429;
other provider failures are a 502; a timeout or transport failure is a 503.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |