Repository navigation

feat(github): PR status and claims as a library - #705

Merged

kixelated merged 7 commits into

mainfrom

quest/m0/github-readers

Nov 13, 2026

Merged

feat(github): PR status and claims as a library#705
kixelated merged 7 commits into
mainfrom
quest/m0/github-readers

Commits on Nov 13, 2026
- chore(quest): claim quest/m0/github-readers.md
  kixelated
  committed
  6e2b00e
- wip: split the GitHub client and claims into src/github
  kixelated
  committed
  fe642d6
- wip: move PR status and hold reads into src/github, export ./github
  kixelated
  committed
  6663190
- wip: claims test, quest done
  kixelated
  committed
  56e6534
- docs: comment the exports ./github makes public
  kixelated
  committed
  d3c2972
- perf(github): read sources' tips and open PRs concurrently in held
  
  kixelated
  and
  claude
  committed
  c043804
- Merge main: carry #652's signals into the moved status, hold, and land modules
  
  kixelated
  and
  claude
  committed
  70f2c9d