Because Sourcegraph is a viable business in its own right. Small companies find it challenging to do multiple things well, and it's normally better for them to spin off promising ideas that aren't directly part of their main product.

Presumably they wanted to continue working on sourcegraph? Or maybe they want to have something left if amp flops?