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

feel free to tag me in a comment if you’ve ever got a PR that you think has been left behind, I’ll take a look

sure, its basically the same code as the PR to docs that is under review still (i did forget to update it couple of days in a row), my bad