Badges
Tastemaker
Veteran
Maker History
SourcegraphSearch code, jump around source, see real usage examples- SourcegraphJan 2022
- Sourcegraph for GitHubAug 2017
- Sourcegraph browser extensionGo-to-def and refs on GitHubSep 2018
🎉
Joined Product HuntJuly 9th, 2014