ai-coding-minesIndexGitHub

With auto-deploy off, pushing still serves the old version

Deploy and infrastructure

If some services need a Manual Deploy after push, you'll assume it deployed and start debugging.

Watch for service confusion too. It's easy to deploy a similarly named service and conclude "the change isn't taking."