chore: notice for https://github.com/aws/aws-cdk/issues/27240 #318

The pull request embarked with main (6a2f9ea) is mergeable

Required conditions for merge:

#approved-reviews-by>=1
- #318
#approved-reviews-by>=1 [🛡 GitHub branch protection]
- #318
#changes-requested-reviews-by=0 [🛡 GitHub branch protection]
- #318
-label~=(do-not-merge)
- #318
status-success=build
all of [📃 From pull request rule Automatic merge on approval and successful build]:
- #approved-reviews-by>=1
  - #318
- -draft [:pushpin: queue requirement]
  - #318
- -label~=(do-not-merge)
  - #318
- -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
  - #318
- status-success=build
- any of [:twisted_rightwards_arrows: queue conditions]:
  - all of [:pushpin: queue conditions of queue default]:
    - #approved-reviews-by>=1 [🛡 GitHub branch protection]
      - #318
    - #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
      - #318
    - any of [🛡 GitHub branch protection]:
      - check-success=build
      - check-neutral=build
      - check-skipped=build
any of [🛡 GitHub branch protection]:
- check-success=build
- check-neutral=build
- check-skipped=build

Check-runs and statuses of the embarked pull request #318: