fix: scope GitHub App tokens by owner#597

Merged

mariusvniekerk merged 8 commits into

mainfrom

fix/github-app-owner-scope

Jun 26, 2026

Commits on Jun 25, 2026

fix: scope GitHub App tokens by owner

mariusvniekerk
and
codex
committed
docs: keep GitHub App context generic

mariusvniekerk
and
codex
committed
fix: support distinct GitHub Apps per host

mariusvniekerk
and
codex
committed
fix: make GitHub App ownership selectable

mariusvniekerk
and
codex
committed
fix: close GitHub App owner-scoping gaps in repo listing and install recovery

mariusvniekerk
and
claude
committed
docs: record owner-scoped endpoint gating for GitHub App reads

mariusvniekerk
and
claude
committed

Commits on Jun 26, 2026