A brief history of code search at GitHub
This blog post tells the story of why we built a new search engine optimized for code.
Improving GitHub code search
Today, we are rolling out a technology preview for GitHub code search, the next iteration for search, discovery, and navigation on GitHub.