Search results for: Search

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…

Today we are announcing simplified syntax for adding comparison and range criteria to searches. Previously we relied on Solr-style syntax, so searching for items with more than 10 stars would…

You can already see all the repositories you’ve starred at github.com/stars, but today your Stars page just got a whole lot better. Search Looking for a repository you starred? Search…

One of my New Year’s resolutions for this year is to make GitHub search awesome. Today I’m happy to announce that Phase One of this project is complete, in the…

Text in our global search bar now auto-completes repositories you own or are watching. Along with our dashboard tweaks this should make it easier to navigate the site. Enjoy! (Protip:…

We hit two birds with one deploy today. First, some of you may have seen a very well reasoned constructive criticism of our header user block content on the 37Signals…

Google Code Search now supports GitHub. From the announcement: For Git, we now crawl repositories hosted by several public git hosting sites including GitHub and repo.or.cz. In addition to that,…

Jason Adams has a blog post titled 10 Reasons to Use Git for Research. Know anyone working in an academic settings? They may want to check it out. Academic settings…

Now you can search GitHub repositories or code using this new Ubiquity command. Thanks bastos!

Update: GitHub Codesearch is now located at github.com/search Today we’re unveiling a new feature on GitHub that we’ve been working on for a bit now that lets you search through…

The Code Search feature will be taking a brief vacation as we try to iron out some kinks with it. 

We’ve just rolled out a search box on every repository that allows you to search by a number of criteria. As always, your feedback how we can tweak the search…

Thanks to @VxJasonxV you can now install the GitHub Firefox easy-search from any page on our site: Search away.

Do you feel a sense of longing, even loss, when away from GitHub? Ian Ownbey provides some help: a Firefox search plugin for GitHub. Never be more than a few…