Merge "Codesearch: Ignore dead repos"