Sourcegraph CEO here. I posted my thoughts on the positioning. Code search for Microsoft/GitHub is not a winner-take-all proposition unlike many of their other

Sourcegraph CEO here. I posted my thoughts on the positioning. Code search for Microsoft/GitHub is not a winner-take-all proposition unlike many of their other products (eg Microsoft Teams vs. Slack), so the analogy is a bit different. A lot of code lives outside of GitHub, thanks to developers historically having more freedom and choice. See https://news.ycombinator.com/item?id=31968184 https://news.ycombinator.com/item?id=31968184. Would love your thoughts on this.