Gitpod – Online IDE for GitHub

hi, I'm working on Gitpod and it's great to see the blog post got picked up by HN. I'll stick around, in case questions come up.