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

Is someone from the Pulumi team able to help with this? <https://pulumi-community.slack.com/archives/CRH5ENVDX/p1654498884552529>

It seems that Paul has gone on holidays or something

I haven’t, however Paul said he was going to get back to me

Please file an issue, it'll get triaged by the team that way 