list_github_repos
List repos the workspace's GitHub connection can see (for import_project).
Each entry has full_name, default_branch, private, language, pushed_at. Pass
a `full_name` to import_project(repo_full_name) to connect it. Returns 409 if
GitHub isn't connected yet — call connect_github() first.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |