delete moved / deleted repos from indexer.
hanwen opened this issue · comments
this needs some thought: if we can't get to the repo due to some connection issue, we shouldnt delete the repo.
de00d84 for github.
Fast trigram based code search
hanwen opened this issue · comments
this needs some thought: if we can't get to the repo due to some connection issue, we shouldnt delete the repo.
de00d84 for github.