Sections

Getting started
Code search
Code navigation
Batch Changes
Code Insights
Notebooks
- Quickstart
Code monitoring
Integrations
Extensions
CLI
Adopting
Cloud
Administration
Development
Dotcom
★ Search query syntax
★ Sourcegraph API
★ Changelog

External

About Sourcegraph
Sourcegraph.com

Personalizing Sourcegraph

On this page:

Personalizing Sourcegraph

Home / getting-started / personalization

Personalizing Sourcegraph

Light and dark themes
Badges for Go public repositories

About Sourcegraph
Sourcegraph.com
Code (GitHub)
Terms
Security
Privacy