GitHub Search

  search search repos extensions <tab>. the user. github github searchterm press   for search your of   username/searchterm and @searchterm a omnibar. :searchterm for supported github type queries: from 'gh' github     history. for repos.     search search users.