gitpod.io/ does that already. Also for Pull-Requests.
It's actually configured on github.com/thepracticaldev/dev.to :-D
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 email@example.com 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 😄)
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.