Repository navigation

Make Refresh all bring the board to GitHub's state - #510

Merged

jarstelfox merged 6 commits into

refresh-all-matches-github

Oct 8, 2026

Merged

Make Refresh all bring the board to GitHub's state#510
jarstelfox merged 6 commits into
masterfrom
refresh-all-matches-github

Commits on Oct 2, 2026
- Repair missed webhooks every hour
  
  jarstelfox
  and
  claude
  committed
  ef4a414
- Fetch a pull's checks in one call
  
  jarstelfox
  and
  claude
  committed
  bcf6d1c
- Make Refresh all bring the board to GitHub's state
  
  jarstelfox
  and
  claude
  committed
  75f429d
- Show a press's progress on every board
  
  jarstelfox
  and
  claude
  committed
  ba396be
Commits on Oct 7, 2026
- Start each press with a fresh pacer cursor
  
  jarstelfox
  and
  claude
  committed
  c82f016
- Compare conflict state in a press
  
  jarstelfox
  and
  claude
  committed
  d9f41f6