Hacker News Reader

How can one add other public repositories not hosted on github (for instance from the Eclipse foundation)?

Sourcegraph CEO here. Right now, just email us (hi@sourcegraph.com) with the Git clone URLs and we'll add them. Soon, you'll be able to add them yourself. Thanks!

Ah great, I'll do that! Thx.

Reply on news.ycombinator.com