Repository navigation

fix(source-control): opt in to repository-scoped GitHub credentials - #21265

Open

Chinoman10 wants to merge 20 commits into

pingdotgg:mainfrom

Chinoman10:codex/github-owner-credentials-upstream

Open

fix(source-control): opt in to repository-scoped GitHub credentials#21265
Chinoman10 wants to merge 20 commits into
pingdotgg:mainfrom
Chinoman10:codex/github-owner-credentials-upstream

Commits on Oct 18, 2026
Commits on Oct 20, 2026
- fix(github): reconcile repository credentials with upstream changes
  Chinoman10
  committed
  ac1ea4f
- Merge pinned upstream while preserving scoped GitHub identity fallback
  Chinoman10
  committed
  3971fbf
Commits on Oct 21, 2026
- fix(github): pin credentials across paginated file statistics
  Chinoman10
  committed
  98fb227
- fix(server): preserve mixed-case change breakdown selectors
  Chinoman10
  committed
  268faa8
Commits on Oct 23, 2026
Commits on Oct 24, 2026
- fix(github): reconcile repository credentials with upstream filters
  Chinoman10
  committed
  a522c70
Commits on Oct 25, 2026
Commits on Oct 27, 2026
- merge: update repository credential routing with main
  Chinoman10
  committed
  17898cf
Commits on Oct 29, 2026
- merge: retain repository credentials with GitHub app sign-in
  Chinoman10
  committed
  00e6f20