Search results for: Search

We added zero to the search results counter. Now, it’s easier to see what queries generate empty results when switching between different tabs in the search results menu. Learn more…

We added an animation that widens the search input field on focus for logged-in, desktop users. Now, long repo names are not truncated, making it easier to read suggested repo…

When searching from a user profile page you now have the option to search by “this user”. Learn more about searching on GitHub

Our machine learning scientists have been researching ways to enable the semantic search of code.

We’ve launched a collection of demonstrations highlighting our most exciting research projects—and the ideas behind them.

All search pages are now responsive on mobile devices. This means you can search across code, topics, Marketplace, and wikis when navigating GitHub.com on any of your devices.

You can now use the global index search to find apps that are listed on the GitHub Marketplace. We have also added a new search type for marketplace objects. Here’s…

The search bar at the top of each page has been redesigned to help users quickly navigate to team pages, repositories, and projects that were recently visited. If you click…

Now you can look for repositories by their license. Search for a specific license using a query such as license:mit or license:gpl-3.0 or find repositories licensed under a particular license…

You can now search for commits from either the main search page or within a repository. Quickly discover who removed set -e or find commits that involved refactoring. Check out…

You can now search for wiki pages from either the main search page, or within a repository. Quickly discover how to use the exec command of your Redis client, or…

There are no shortage of open source projects making an impact on our world, and we’ve been especially excited to see an increase in collaboration across the healthcare community. A…

Whether you’re reviewing project issues from your phone while traveling for business, or trying to find a specific Node.js repository to show a friend at lunch, we want the GitHub.com…

We’ve rebuilt GitHub Issues to be smarter: search smarter, filter smarter, and manage your issues and pull requests smarter. If you want to see it in action, check out Bootstrap’s…

Humans have enjoyed our ✨ new code search for a while, and today we’re ready to share that joy with the machines. 🔍 With the new code search API, we’ve…

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…

We often like to think of text as a UI at GitHub. We use text to navigate our text editors, we use keyboard shortcuts to delete our email, and we…

There are a more than a million open issues to be found across all public repositories hosted on GitHub right now. Finding a specific issue can be a tedious process…

Last week, between Thursday, January 24 and Friday, January 25 we experienced a critical outage surrounding our newly-launched Code Search service. As always, we strive to provide detailed, transparent post-mortems…

Last week, we were proud to introduce our new Code Search and improved repository and user search. Today, when you perform a search that has more than one page of…

Finding great code on GitHub just got a whole lot easier. Today we’re releasing several big improvements to code search. New Technology First, we are unveiling our new search infrastructure…