fsteeg.com | notes | tags |  πŸ•ΈπŸ’ 

∞ /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