178 contributions in 2019
Created a pull request in sourcegraph/sourcegraph-git-extras that received 1 comment
The Sourcegraph git extras extension currently does not have a
pressed state making it difficult to determine if the extension is activated or not.
Created an issue in sourcegraph/sourcegraph that received 3 comments
Sourcegraph version: Sourcegraph.com Steps to reproduce: This is hard to reproduce as I haven't been able to narrow down when the CPU starts goi…