[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