Repository navigation

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

Open

probablyian wants to merge 5 commits into

periodic-org-search-refresh

Open

Re-read pulls updated in the last 20 minutes#503
probablyian wants to merge 5 commits into
masterfrom
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
Commits on Oct 12, 2026
- Merge remote-tracking branch 'origin/master' into periodic-org-search-refresh
  probablyian
  committed
  5b2ffcd