3 ms·No need to clone if you just use https://sourcegraph.com/search https://sourcegraph.com/search.by v1g1l4nt3 5y agoNo need to clone if you just use https://sourcegraph.com/search https://sourcegraph.com/search.