GitHub code search – waiting list signup
github.com
github.com
My colleague Tim Clem will be speaking at GitHub Universe today about some of technical details: https://githubuniverse.com/events/detail/virtual-schedule/49...
Joking aside though, looks really great, thank you so much! :D
Great work!
I've found myself sometimes thinking that something existed in a particular codebase and I go to look for only to discover that I'm unable find it. Then, I realize that the code I was looking for has been removed. I can only find it by browsing back into the history figuring out the events that led to the deletion or change. Being able to search the history would be killer IMO.
[0] https://sourcegraph.com/search?q=context:global+repo:%5Egith...
[1] https://sourcegraph.com/search?q=context:global+repo:%5Egith...
(I work there, just commenting on my own though. we're all pretty happy to have competition, more awareness of code search, etc.)
For example: git log -pS 'deletedvar'
[0]: https://github.blog/changelog/2020-12-17-changes-to-code-sea...
So many interesting work can only be found manually, laboriously (but is so rewarding) within the explore network graph where people work on their own branches in their own forks. Their code is never found from the search function.
Heck, it'd be nice if the current system right now at least did grep with users being able to toggle POSIX options. It doesn't even do that.
Instead, I have to clone the entire repo to do a trivial lookup. To be fair, supporting this would require GitHub to do the compute themselves, but I have no idea what they could possibly be doing right now that's more effective.
We put this together anticipating these questions: https://docs.sourcegraph.com/getting-started/github-vs-sourc...
We also just launched Search Ranking and Relevance: https://about.sourcegraph.com/blog/new-search-ranking
More to come! And BTW we are happy to have competition, GitHub is a great brand and it will only make code search better for all developers.