fix(worker): reindex repos with missing zoekt shards - #1350

Closed

RitwijParmar wants to merge 3 commits into

sourcebot-dev:mainfrom

RitwijParmar:codex/sourcebot-missing-shards-reindex

Commits on Jun 18, 2026

fix(worker): reindex repos with missing zoekt shards
RitwijParmar
committed
2088289
chore: add changelog entry for shard reindex fix
RitwijParmar
committed
5f268f1
fix(worker): ignore stale active jobs during shard recovery
RitwijParmar
committed
b24f26f