Skip to content

re: Discuss: GitHub Special Event VIEW POST

re: does that already. Also for Pull-Requests. It's actually configured on :-D see


I'm a big fan of what GitPod is doing. If I were you all I'd definitely be a bit concerned that being first to market isn't a big advantage when going up against Microsoft.

But then again, it's probably also a good thing to be in a space that's generally getting more players, because people are always going to have differing needs. I think the other stuff you all are doing with Theia is pretty cool. (Though I'm not quite sure how the various projects/companies co-exist so I might be thinking about it the wrong way)

Anyway, my DEV Connect inbox is open or if you'd ever want to chat more about all that stuff. I just think it's really neat and there is probably more collaboration we might be able to do.

(Since this is an open comment, we're pretty much always open to interesting collabs with neat tooling 😄)

code of conduct - report abuse