Resolve an App repository to the catalog id the settings name

Takes a repository from GET …/github/repositories and returns the catalog id to put in settings.repositories of the next PUT /v1/agents/{id}/github/settings; nothing about the agent's settings or releases changes. The server reads the repository by its GitHub id and checks that the named installation covers it, then takes its URL and default branch from GitHub. The same repository always resolves to the same id, by its GitHub id: the first pick writes a resolve_repository receipt (receipt_id), and so does a pick after a rename on GitHub, which moves the row to the new name and URL; other picks return null. A repository with no author pin yet is pinned to the connection whose App holds the installation (a set_repository_github_app receipt), and connection_id names the author connection it is pinned to; a pin made before stays. 400 details.reason_code: repository_not_allowed (the workspace's ceiling does not run on App repositories), no_author_app, not_installed (the author App has no such installation, or it does not cover the repository), or name_held (another row has that name: another GitHub repository's, whose pick after its rename frees the name, or one not yet tied to a GitHub id). GitHub not answering is 502 GITHUB_UNAVAILABLE, and an installation GitHub dropped while it was read is 404 installation_not_found; nothing stored changed. A signed-in manager of the agent; API keys are refused.

Auth: cookie session only; no scope. Idempotency-Key: ignored.