Tips on Gitpod

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

GitPod is a great web IDE for GitHub repositories. It supports both IDE and terminal environment via Docker, so a whole lot can be done if you are creative!
customized layers are supported
browser plugins are available for Chrome, Firefox, etc.
support installling VS Code extensions (*.vsix) by drag and drop. Installing from VS Code Marketplace is not supported at this time.
Cloning multiple repositories into one workspace is supported. Please refer to Multi-repo Workspaces for detailed discussions.