4 ms·but for code editing, we have collaborated with gitpod.io :)by sidk24 5y agobut for code editing, we have collaborated with gitpod.io :)tehbeard 5y agoThat would be vs. github codespaces though wouldn't it?sidk24 5y agobut gitpod is there before it!