PR #251 updated cdk, which initially had a deployment issue Make another change to the app, cdk deploy again and verify that deployment is working. Then deploy prod.