Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.Sign up
2,835 contributions in the last year
Created a pull request in sourcegraph/sourcegraph that received 2 comments
Extract functionality to pull out definitions, reference, and hover data from ranges into their own private methods.
Created an issue in sourcegraph/sourcegraph that received 1 comment
The endpoint flag has been deprecated and we should update all docker containers, github actions, and tools that depend on this flag to use the