chore: notice for https://github.com/aws/aws-cdk/issues/31183 #600

The pull request embarked with main (2cd7bff) will be merged soon

Required conditions for merge:

#approved-reviews-by>=1
- #600
#approved-reviews-by>=1 [🛡 GitHub branch protection]
- #600
#changes-requested-reviews-by=0 [🛡 GitHub branch protection]
- #600
-label~=(do-not-merge)
- #600
status-success=build
all of [📃 From pull request rule Automatic merge on approval and successful build]:
- #approved-reviews-by>=1
  - #600
- -draft [📌 queue requirement]
  - #600
- -label~=(do-not-merge)
  - #600
- status-success=build
- any of [📌 queue -> configuration change requirements]:
  - -mergify-configuration-changed
    - #600
  - check-success=Configuration changed
- any of [🔀 queue conditions]:
  - all of [📌 queue conditions of queue default]:
    - #approved-reviews-by>=1 [🛡 GitHub branch protection]
      - #600
    - #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
      - #600
    - 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 #600: