But push is not for use in production? It's for development. You generate a single custom migration that sets strict, apply it, and then you can use push as you

But push is not for use in production? It's for development. You generate a single custom migration that sets strict, apply it, and then you can use push as you want (during development, not for deploying actual changes to your database)