fix(worker): re-index repos whose zoekt shards are missing from disk#1304

rudraasakariya wants to merge 2 commits into

sourcebot-dev:mainsourcebot-dev/sourcebot:mainfrom

rudraasakariya:rudraasakariya/fix-missing-shards-stale-detectionrudraasakariya/sourcebot:rudraasakariya/fix-missing-shards-stale-detectionCopy head branch name to clipboard