Repository navigation

fix(pump): retry leader and source bootstrap failures - #128

Merged

olavurellefsen merged 3 commits into

mainfrom

fix/retry-leader-bootstrap

Nov 1, 2026

Merged

fix(pump): retry leader and source bootstrap failures#128
olavurellefsen merged 3 commits into
mainfrom
fix/retry-leader-bootstrap

Commits on Oct 6, 2026
- fix(cluster): keep retrying the leader bootstrap while holding the lease
  
  olavurellefsen
  and
  claude
  committed
  d88c23b
Commits on Nov 1, 2026
- chore: update bootstrap recovery against main
  olavurellefsen
  committed
  811dd5d
- fix(pump): recover partially started sources with bounded retries
  olavurellefsen
  committed
  485e96f