[cmrx64]

I'm curious how long it took to build their search index, and how they do it/what technologies/algorithms they are using. That's a lot of data!

[marcinkuzminski]

based on the how Github Enterprise works, they probably use the same technology, meaning ElasticSearch.

I wonder how often they rebuild the indexes, and scan for new commits. That's an interesting problem to solve actually