Fix GitHub webhook delivery + restore PR freshness in installed runtimes#691

Merged

arul28 merged 8 commits into

mainfrom

ade/pr-state-sync-webhook-fallback

Jul 3, 2026

Commits on Jul 2, 2026

Fix PR merge-state staleness: project-level polling fallback + stale snapshot precedence

arul28
and
claude
committed
Fix GitHub webhook delivery + make PR freshness work in installed runtimes

arul28
and
claude
committed
Make always-on PR freshness loops cheap for default/no-GitHub-App users

arul28
and
claude
committed
Apply quality-review fixes: fail-closed delivery filter, accurate cooldown status, dedupe shared helpers

arul28
and
claude
committed
/test pass: discovery-throttle contract test, fail-closed delivery-log row, docs parity

arul28
and
claude
committed
iOS parity: terminal ADE PR state wins over stale GitHub snapshot in lane chips

arul28
and
claude
committed
Address Greptile review: per-repo delivery limit + required cursor store

arul28
and
claude
committed
Address review: reconciled rows move in tab badge totals too

arul28
and
claude
committed