github.dev works fine on an iPad - you could integrate with their new codespaces service to run dev servers for web projects. So it easy available fancy remote terminal. If you’re traveling with just your iPad, this is a nice secure option where you don’t need to have clones of repos locally or any keys saved locally to your device.
