Skip to content

Global search in GitHub1s

Created by: sourcegraph-bot

User problem

It'd be awesome to be able to search code outside the current repository without switching tab!

When users don't see results in the current repo, they sometimes are searching for code that lives in another repo.

Proposal

  • When I run a search that has limited results, I can extend my search to Sourcegraph

  • I can prefix my search query with * to search on Sourcegraph