Re-read pulls updated in the last 20 minutes - #503

Open

probablyian wants to merge 4 commits into

periodic-org-search-refresh

Commits on Sep 29, 2026

Re-read pulls updated in the last 20 minutes, dropped webhook or not
probablyian
committed
b8e042d

Commits on Sep 30, 2026

Catch up on webhooks missed while the server was down
probablyian
committed
db5e626
Sweep: reach back an hour, skip pulls already re-read
probablyian
committed
ad07848

Commits on Oct 1, 2026

Sweep: retry a pull whose re-read failed to save
probablyian
committed
a30606d