Oh, now things are getting interesting. I was a big fan of the idea of GitLab IDE, but never got too deep; it seemed like a great idea that could use more baki

Oh, now things are getting interesting. I was a big fan of the idea of GitLab IDE, but never got too deep; it seemed like a great idea that could use more baking. But then I saw Theia and GitPod. I like GitPod, but I just wish it had better Github integration. Well, yeah. So... good job Github. Can’t wait to try this one out.