GitHub Search Prefix Plugin
An extension to enhance GitHub search by allowing for a prefix to the search. Using this plugin, you can prefix searches with your organization's identifier, e.g. org:my-company so you don't have to search the repo you're viewing by default.
1 utilisateur·trice