Tag Info

Hot answers tagged

1

GitHub does this quite well. When you're in a repo, the search field is set to search that repo with the option to change it to 'global'. When you're on a global page it defaults to global search, with the option to change it to 'users', 'help', etc.



Only top voted, non community-wiki answers of a minimum length are eligible