[midoBB]

In my experience Sourcegraph offers a better integration with Gitlab and Github both. And their code search is far superior.