A page of the GitHub Apps' repositories, and the catalog's (owner or admin)

The repositories one installation of the workspace's GitHub Apps reaches, a page at a time as GitHub pages them (GET /installation/repositories): installation_id picks the installation (absent: the first not suspended, the author App's before the reviewer App's, by account; while the role read first has several connections, absent is 400 installation_required), page and per_page (at most 100) the page, and total_count is GitHub's count. installations lists the author App's installations, then the reviewer App's, each with its App's connection_id and role, the permissions the account approved, and repository_count (GitHub's count, asked for the first 20 installations; null past them or when GitHub did not give it). An App GitHub does not answer for leaves its installations out. Nothing is registered: a repository becomes a catalog row when an agent's manager picks it (POST /v1/agents/{id}/github/repositories), and catalog_id then names it; agent_count counts agents whose active release names it, and on a reviewer App's page only those that turn review on. unavailable says why the page is empty: no_author_app, no_installation, or, with no installation_id named, GitHub not answering (github_unavailable or github_app_auth_failed, the author App's cause first) or every installation suspended (installation_suspended); then catalog and the installations that were read still come back, to name one. catalog lists the rows picks resolved or a seed left (source selection, console or seed; their branch is changed with PATCH), each with its agent_count; installed says whether an installation of any author App covers a row now (asked for the first 100 rows; null past them, or when GitHub could not answer for an App and none said yes), and a row's pins names the connection each role's work uses (GET …/app-pins for the choices). An installation id no registered App has, or one GitHub no longer has, is 404 installation_not_found; a suspended one is 409 INSTALLATION_SUSPENDED; GitHub not answering for the App that may hold a named installation is 502 GITHUB_UNAVAILABLE (github_unavailable is worth retrying, github_app_auth_failed is not). API keys are refused.

Auth: cookie session only; no scope.