But, if they don’t, here’s my take. To me it seems like this is something that would be built in-house with the ability to leverage repl.it’s existing application infrastructure. I’d imagine this would simplify the development compared to the vscode plugin. (stand-alone desktop app)
Also, long-time gitlab-CE user here. I’d love to see multiplayer as a feature.
https://about.gitlab.com/2018/04/22/gitlab-10-7-released/#we...
I've been evaluating ShareDB[1] for a Google Docs-like and it seems promising.
The OT space is really interesting. For those wanting to read more about it, check out the paper: "Operational transformation in real-time group editors: issues, algorithms, and achievements"[2]
[1] https://github.com/share/sharedb
[2] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53....
Disclosure: I’m the CEO of GitLab and we’re looking at live coding ourselves as well.