Repository navigation

Let members connect GitHub with OAuth through the GitHub App - #1720

Open

akwirick wants to merge 9 commits into

mainfrom

github-personal-oauth

Open

Let members connect GitHub with OAuth through the GitHub App#1720
akwirick wants to merge 9 commits into
mainfrom
github-personal-oauth

Commits on Oct 29, 2026
- Record the account name of a pasted personal token
  
  authored and
  engrams-agent[bot]
  committed
  86a7810
- Add an All / Mine switch to the reviews ledger and rail
  
  authored and
  engrams-agent[bot]
  committed
  32b71d4
Commits on Oct 30, 2026
- Ask OAuth token endpoints for a JSON response
  
  authored and
  engrams-agent[bot]
  committed
  a3acdd3
- Let members connect GitHub with OAuth through the GitHub App
  
  authored and
  engrams-agent[bot]
  committed
  7498f52
- Document GitHub personal connect and the Reviews Mine filter
  
  authored and
  engrams-agent[bot]
  committed
  8707d4d
Commits on Nov 4, 2026
- fix(connectors): tell a refused token from an unreachable provider
  
  nikhilunni
  and
  claude
  committed
  be66a52
- Merge branch 'reviews-mine-filter' into github-personal-oauth
  nikhilunni
  committed
  db69afa
- fix(oauth): mark a credential broken on GitHub's bad_refresh_token
  
  nikhilunni
  and
  claude
  committed
  54ffd9c
Commits on Nov 10, 2026
- Merge remote-tracking branch 'origin/main' into github-personal-oauth
  
  akwirick
  authored and
  engrams-agent[bot]
  committed
  52c4dfe