GitHub

Improving GitHub code search

Dec 8, 2021Pavel Avgustinov
Improving GitHub code search
SummaryAI, from the source post

This post details the initial rollout of a technology preview for substantial improvements to GitHub code search. It introduces a new interface at cs.github.com, covering over five million popular public repositories and private repositories. Key features highlighted include smart ranking, optimized indexing for code, support for exact strings, substring matches, special characters, and regular expressions. It also details scoped searches with `org:` and `repo:` qualifiers, filters like `language:`, `path:`, `extension:`, and Boolean operators, as well as symbol search with `symbol:`. Additional features like a directory tree view, symbol information, jump-to-definition, and select-to-search are mentioned. The post also outlines future plans to expand the index, experiment with scoring and ranking, explore APIs and integrations, and add more language support, all while emphasizing user feedback.

More from the Case Folding for Code Search trail