Geoff here from Gitpod. I’ve been using an iPad to build Gitpod with Gitpod for a while now. Dumped my brains and recommendations over at https://Ghuntley.com/anywhere if you are curious.