Repository navigation

Move GitHub integration from the OAuth App to a GitHub App - #533

Merged

simonhamp merged 9 commits into

mainfrom

github-app-migration

Sep 26, 2026

Merged

Move GitHub integration from the OAuth App to a GitHub App#533
simonhamp merged 9 commits into
mainfrom
github-app-migration

Commits on Apr 11, 2026
- Migrate from GitHub OAuth App to GitHub App
  
  simonhamp
  and
  claude
  committed
  16309b1
- Merge origin/main into github-app-migration
  
  simonhamp
  and
  claude
  committed
  d34d901
Commits on Sep 23, 2026
- Merge origin/main into github-app-migration
  
  simonhamp
  and
  claude
  committed
  7c02995
Commits on Sep 24, 2026
- Send plugin authors to install the GitHub App after login
  
  simonhamp
  and
  claude
  committed
  06ef67c
- Harden GitHub App setup and add migration tooling
  
  simonhamp
  and
  claude
  committed
  c11b4b9
Commits on Sep 25, 2026
- Fix CI: handle an empty GitHub App key path and Pint issues
  
  simonhamp
  and
  claude
  committed
  072e985
Commits on Sep 26, 2026
- Read the GitHub App key from env and fix the app slug
  
  simonhamp
  and
  claude
  committed
  9164460
- Merge branch 'main' into github-app-migration
  simonhamp
  authored
  57ad1ab
- Merge remote-tracking branch 'origin/main' into github-app-migration
  simonhamp
  committed
  6ece4cc