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

Thank you for the report! I’m happy to try to repro that (I work for Pulumi) and report back. If I can’t repro, maybe then you can share a little more info in a DM.