Repository Search on all Repositories
1/9/2018: Whoops! This post is out of date. For more information on searching repositories on GitHub, check out our documentation. Today we are allowing you to search your own public…
1/9/2018: Whoops! This post is out of date. For more information on searching repositories on GitHub, check out our documentation.
Today we are allowing you to search your own public repositories and any private repositories you have access to.
In an effort to simplify our search, we’ve consolidated our search boxes into one. There’s no need to look around anymore for the search box: it’s always at the top.
When you’re on a repository page, you’ll see an indication that you’re searching that repository by default:
To search globally, all you need to do is select the All repositories option:
You may have already noticed that the command bar will also give you these options:
Finally, if you didn’t find what you were looking for in your repository, you can turn a repository search into a global search by clicking Search all of GitHub.
For any search related questions, take a look at a our search guides.
Good luck, gumshoes!
Written by
Related posts
The top 10 gifts for the developer in your life
Whether you’re hunting for the perfect gift for your significant other, the colleague you drew in the office gift exchange, or maybe (just maybe) even for yourself, we’ve got you covered with our top 10 gifts that any developer would love.
Congratulations to the winners of the 2024 Gaady Awards
The Gaady Awards are like the Emmy Awards for the field of digital accessibility. And, just like the Emmys, the Gaadys are a reason to celebrate! On November 21, GitHub was honored to roll out the red carpet for the accessibility community at our San Francisco headquarters.
Students: Start building your skills with the GitHub Foundations certification
The GitHub Foundations Certification exam fee is now waived for all students verified through GitHub Education.