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 there, can someone review this PR: <https://github.com/pulumi/registry/pull/3015>

<@U05E3UBTT5G> yesterday was Labour Day in the US, so everyone had a day off. I will let the team pick this up when they get online in US timezone.

<@UK4HNFLCB> did you manage to check with the team?

I did drop a not in their slack channel, but given the timezone difference, I didn't keep an eye on it. Let me check.