This message was deleted.

# getting-started

s

sparse-intern-71089

09/20/2023, 1:17 AM

This message was deleted.

b

billowy-army-68599

09/20/2023, 3:42 PM

Is there a GitHub issue?

a

ambitious-computer-3093

09/20/2023, 8:01 PM

Not yet

b

billowy-army-68599

09/20/2023, 8:23 PM

that’s the first step to getting someone to look into it

a

ambitious-computer-3093

09/21/2023, 2:32 AM

👍

ambitious-computer-3093

09/21/2023, 2:39 AM

done https://github.com/pulumi/pulumi/issues/14004

Pulumi Community

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.