Repository navigation

PR-API channel: optional collect-pr command for review comments (#5) - #17

Merged

mmcky merged 2 commits into

mainfrom

Aug 28, 2026

Merged

PR-API channel: optional collect-pr command for review comments (#5)#17
mmcky merged 2 commits into
mainfrom
pr-channel

Commits on Aug 28, 2026
- PR-API channel: optional collect-pr command for review comments (#5)
  
  mmcky
  and
  claude
  committed
  1fadfdb
- Address Copilot review: GhError on missing gh, extend() pagination, closed-unmerged state
  
  mmcky
  and
  claude
  committed
  6f33efd