News for hackers. Stuff that matters.

A comment on Sourcegraph is no longer Open Source. Parent comment

Re:Sourcegraph is no longer Open Source by hgsgm on Tuesday July 04, 2023 @11:12AM (#36587745)
Why do that have a good search that's not part of the main site?
[ Parent | on HN ]
Re:Sourcegraph is no longer Open Source by ezekg on Tuesday July 04, 2023 @11:16AM (#36587785)
I actually think cs.github.com is now the same as github.com/search. It was in beta for awhile but they recently started redirecting it.
[ Parent | on HN ]