3 ms·http://sourcegraph.com/ http://sourcegraph.com/ is doing something similar.by thebrettd 11y agohttp://sourcegraph.com/ http://sourcegraph.com/ is doing something similar.