Secure Deploys from GitHub with the AWS CDK

https://jasonbutz.info/2023/06/aws-cdk-deploys-github/