Personalizing Sourcegraph Light and dark themes Badges for Go public repositories Adding quick links below the search bar