> I really hope this is not a sign of them taking back the ability to search in the future. Searching repos seems to be unchanged: https://sourcegraph.com/sea

> I really hope this is not a sign of them taking back the ability to search in the future. Searching repos seems to be unchanged: https://sourcegraph.com/search https://sourcegraph.com/search