Improved Gist 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…
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 form of a totally redone Gist search:
There are a few new features to notice.
- Matched snippets are shown and specific matches are highlighted in yellow.
- Code is syntax highlighted if a proper filetype was specified.
- Multiple matches in a single Gist file will be shown (up to a max of 3 snippets).
In addition, the reliability and comprehensiveness of the index are vastly improved and a ranking formula has been put in place that we can easily tweak over time to dial in the best results.
As I mentioned, this is only the beginning of the search improvements that you can look forward to over the coming months. I aim to make GitHub search your first and best choice when it comes to finding the projects, people, and code that you care about.
Written by
Related posts
Apply now for GitHub Universe 2023 micro-mentoring
As part of our ongoing commitment to accelerate human progress through Social Impact initiatives, we’re offering students 30-minute, 1:1 micro-mentoring sessions with GitHub employees ahead of Universe.
The 2023 Open Source Program Office (OSPO) Survey is live!
Help quantify the state of enterprise open source by taking the 2023 OSPO survey.
Godot 4.0 Release Party 🎉
We are delighted to host the Godot 4.0 Release Party at GitHub HQ on Wednesday, March 22 from 6:30 pm to 9:30 pm. And you’re invited!