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

could you file an issue <http://github.com/pulumi/pulumi|github.com/pulumi/pulumi>

oh :man-facepalming: I see the issue in the code, bad copy paste

I think we will be doing a 3.32.1 point release today/early tomorrow so this will get fixed soon.

Thanks Fraser! Amazing service :smile: I've opened issue 9539 for your records <https://github.com/pulumi/pulumi/issues/9539>

PR raised: <https://github.com/pulumi/pulumi/pull/9540>