Repository navigation

fix: persist manual GitHub retry failures - #30

Merged

Codename-11 merged 8 commits into

mainfrom

codex/github-manual-retry

Jul 14, 2026

Merged

fix: persist manual GitHub retry failures#30
Codename-11 merged 8 commits into
mainfrom
codex/github-manual-retry

Commits on Jul 14, 2026
- fix: persist manual GitHub retry failures
  Codename-11
  committed
  c5cdf83
- fix: anchor GitHub backoff after request failure
  Codename-11
  committed
  71794d5
- fix: preserve longer GitHub retry gates
  Codename-11
  committed
  f303062
- fix: persist partial GitHub checks failures
  Codename-11
  committed
  f2e619c
- fix: scope generic GitHub partial backoff
  Codename-11
  committed
  c3ff55e
- fix: atomically extend GitHub retry gates
  Codename-11
  committed
  52b4c04
- fix: avoid double-counting partial GitHub failures
  Codename-11
  committed
  d023136
- fix: replace current GitHub sync lease on failure
  Codename-11
  committed
  0fa9f31