C console.dev Sourcegraph CTO on building a search index for 1M public repos 2 points dmytton 5 years ago 0 comments