∞ /notes/1535817329049 | 2018-09-01 | micro

“Gitpod is an online IDE which can be launched from any GitHub page. Simply prefix any GitHub-URL with “https://gitpod.io#” or use our browser extension that adds a button to GitHub pages. […] based on Theia, an open-source project” medium.com