AWS Pipelines with Github Release trigger in CDK

Problem CDK pipeline supports GitHub webhook, but on branch push events, not on release events. UPDATE 2022 The after migrating to the modern CDK Pipeline API this approach no longer works. Instead we have setup a GitHub action that is triggered on r...