4 ms·You can skip the wait and use https://sourcegraph.com/search https://sourcegraph.com/search instead.by v1g1l4nt3 5y agoYou can skip the wait and use https://sourcegraph.com/search https://sourcegraph.com/search instead.