GitHub will provide such developers on the cs.github.com portal with access to a separate interface for the updated code search mode, and then it will be integrated into the main GitHub interface.
GitHub recalled that at the moment, search indexing on the platform covers more than five million of the most popular public repositories. Also, developers can search for code in private repositories to which they have access.
What's added to the new search system:
there is an intelligent ranking and indexing system specially optimized for code search; added search for exact string with support for substring matches and special characters or regular expressions; you can expand your search scope by using the org: or repo: qualifiers with autocomplete suggestions in the search box; the search result can be processed using filters such as language:, path:, extension: and logical operators (OR, NOT), you can also find definitions for a symbol using symbol:; additional features including tree view of directories, hotspot symbolic information, jump-to-definition, select-to-search modes.
GitHub plans to improve code search as well: expand the indexing of the system until it covers all repositories which developers can access on GitHub. The platform conducts various experiments with scoring and ranking heuristics to see what works best and examines which APIs and integrations will be most effective for the search engine.
GitHub believes that code discovery should help every developer find, discover, navigate, and understand code quickly and intuitively. The motto of the developers of this project is: "By searching for code on GitHub, the code of the whole world is always at your fingertips."
bbabo.Net