No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

Hi <@U0130L0M7C5>, thanks for pointing this out – we're releasing a new minor version `v7.2.0` shortly that should resolve this. Please let us know if there are still issues afterwards.