They also recently(?) silently destroyed[1] their public search index at sourcegraph.com/search. Since GitHub only recently got a working search and even that is behind login, I used to search a lot using Sourcegraph. It even supported searching GitLab.
Now it seems that all GitLab repos are gone from the index and a huge number of GitHub repos as well. If I can't trust the search I'll just have no choice but to fall back to GitHub.
It's a shame since their index was at some point even better than GitHub's own, although GitHub seems to have caught up.
[1] https://community.sourcegraph.com/t/most-public-repos-no-lon...
replies(2):