Bryan Helmkamp 6cb185b858 feat(github): point install errors at the configured app and require creds for docker ... GitHubAppCredentials now carries the configured app slug, so the "not installed" error from the installation lookup links to the specific app's install page (https://github.com/organizations/{owner}/settings/apps/{slug}/installations) when known, instead of the generic org installations page. Threaded through the server, workflow pipeline, and CLI runner. Also treat docker like daytona for GitHub credential gating: both are clone-based providers that need an installation token to fetch the repo, so a docker run now requires credentials when daytona would. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>		2026-04-29 10:43:00 -04:00
..
integration.rs	feat(github): point install errors at the configured app and require creds for docker	2026-04-29 10:43:00 -04:00