Yes, just change the URL from https://github.com/foo/bar to https://sourcegraph....

		Arnavion on Feb 6, 2023 \| parent \| context \| favorite \| on: The technology behind GitHub’s new code search Yes, just change the URL from https://github.com/foo/bar to https://sourcegraph.com/github.com/foo/bar to be dropped in to a code search for that GH repo.