David's approach: deploy via github actions

GitHub Actions is the CI/CD path used to deploy Kerra. across the Codex history, David repeatedly asked whether deploys were happening through GitHub Actions because manual or local deploys make it harder to know what reached production.

deploy via github actions

are you deploying via github actions

this is less about ceremony than traceability. if many agents have committed across many sessions, the production question is: what is on main, did CI run, did deploy finish, and is the live app actually using those changes?