4 ms·Gitpod – Online IDE for GitHub8 points by tekacs 8y agomeysholdt 8y agohi, 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.