I actually think cs.github.com is now the same as github.com/search. It was in b...

		ezekg on July 4, 2023 \| parent \| context \| favorite \| on: Sourcegraph is no longer open source 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.