zoekt: report index failures back to Sourcegraph via UpdateIndexStatus#1067

stefanhengl wants to merge 1 commit into

mainsourcegraph/zoekt:mainfrom

index-failure-reporting-a1b2c3sourcegraph/zoekt:index-failure-reporting-a1b2c3Copy head branch name to clipboard