Searching code with Sourcegraph

Posted Aug 18, 2020 23:31 UTC (Tue) by riking (subscriber, #95706)
In reply to: Searching code with Sourcegraph by riking
Parent article: Searching code with Sourcegraph

https://github.com/sourcegraph/sourcegraph/pull/11575 was inspired by this, by the way. Looks like it's still in progress.