Sourcegraph for GitHub

It sounds awesome, gonna give it a try (I definitely have done checkouts that I didn't quite need, just to put the code on Eclipse, this sounds like a time saver)