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

<@UB3BGTV63> / <@UEE5CDE2D> I've pushed a fix to the bug in my last commit to the same branch on my fork. That PR was merged and closed. Should I create a fresh PR for this? Thank u.