4 ms·Interesting. You might want to try gitpod.io to have multi-user support.by meysholdt 7y agoInteresting. You might want to try gitpod.io to have multi-user support.