deployctl deploy ignores the --prod option

The problem

Issue denoland/deployctl#353 (closed, 6 comments): After deploying with said command, upon visiting the Deno Deploy's dashboard, it can be seen that no deployment is set as a production environment. When visiting the production website, its responds with "404 - The requested deployment does not exist." Users have to manually promote an environment to production through the dashboard. deployctl deployments redeploy --prod fails saying that the project does not have a production environment and preview environment's ID has to be manually set in order to actually promote.

The fix

deployctl deploy ignoring the --prod option was fixed in v1.13.1. Upgrade deployctl and retest.

Notes

Thread: https://github.com/denoland/deployctl/issues/353. Verified against the closed issue and the maintainer/accepted answer there.

In https://github.com/denoland/deployctl/issues/353, the reporter asked: Issue denoland/deployctl#353 (closed, 6 comments): After deploying with said command, upon visiting the Deno Deploy's dashboard, it can be seen that no deployment is set as a production environment. When visiting the production website, its responds with "404 - The requested deployment does not exist." Users have to manually promote an environment to production through the dashboard. deployctl deployments redeploy --prod fails saying that the project does not have a production environment and preview environment's ID has to be manually set in order to actually promote. The verified answer: deployctl deploy ignoring the --prod option was fixed in v1.13.1. Upgrade deployctl and retest. Source thread: https://github.com/denoland/deployctl/issues/353