News for hackers. Stuff that matters.

A comment on Sourcegraph is now open source. Parent comment

Re:Sourcegraph is now open source by sqs on Tuesday October 02, 2018 @01:03AM (#18118940)
Sourcegraph CEO here. :) Thanks for creating GitLab and for the kind words. We're indeed looking forward to adding Sourcegraph to GitLab by default. Look out for a prototype/proposal MR from us in a bit. That's one of the super valuable kinds of features/integrations that we can do now that Sourcegraph is open source!
[ Parent | on HN ]
Re:Sourcegraph is now open source by jramsay on Tuesday October 02, 2018 @10:42AM (#18122133)
Amazing! Here's an issue we can use to discuss: https://gitlab.com/gitlab-org/gitlab-ce/issues/41925
[ Parent | on HN ]
Re:Sourcegraph is now open source by sytse on Tuesday October 02, 2018 @09:49AM (#18121594)
Awesome! Apart from the Web IDE having Sourcegraph code navigation by default in the repository view would be great.
[ Parent | on HN ]