Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add search results provider (extensibility point) #738
Extensions should be able to contribute search results to a search. For example, if I type a query
Use cases: extensions that provide search results from:
This makes it possible for developers to have a single search box that searches everything they care about (all of their tools/systems).