5 ms·
Are you aware of Gitpod (https://www.gitpod.io/ https://www.gitpod.io/)? It's one-click online IDE for GitHub based on Theia. You can have as many workspaces as
by anton_kosyakov 8y ago
Are you aware of Gitpod (https://www.gitpod.io/ https://www.gitpod.io/)? It's one-click online IDE for GitHub based on Theia. You can have as many workspaces as you want which are continuously replicated and never deleted, bring your own custom Docker image and it's free for open source development.