Local machines, but only because of years of muscle memory. Not because dev environments are worse or anything. I have used github.dev before, and they seemed

Local machines, but only because of years of muscle memory. Not because dev environments are worse or anything. I have used github.dev before, and they seemed decent. (Tip if you didn't know, pressing '.' when in any github repository will spin up an in-browser VSCode editor for the repo)