How Brave uses code search

The Brave team uses Sourcegraph.com for code search. They set up code.brave.com to redirect to the Sourcegraph.com page for their brave/brave-core repository. Brave is a fork of Chromium, which also uses code search.