Something I've noticed, which is potentially a bit dangerous, is that the redeploy functionality seems to read the stage to deploy to anew from file when hitting enter. At least that's what I guess that happened, when I had first started the local dev, then in another terminal window, deployed to prod, then made some further changes, and in the window the local dev was still running, eventually hit enter to redeploy (the local dev). But it then deployed the new changes to prod. It also reported a failure to deploy, despite there not being one (probably because it was confused by the stage switch).