cdk-migration Repository with the Migration chapter of my CDK book. License of this repository: CC-BY.