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

RitwijParmar wants to merge 3 commits into

sourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

RitwijParmar:codex/sourcebot-missing-shards-reindexRitwijParmar/sourcebot:codex/sourcebot-missing-shards-reindexCopy head branch name to clipboard