GitHub repository: sourcegraph/sourcegraph-browser-extensions
Description: Sourcegraph browser extensions