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

You'll need to fork the repo into your own github account to do a PR. Is that what you did?

Yeah, as <@UDEJ1F5SQ> said, you need to fork that repo and then when PR branch is pushed on your remote, you will be able to create PR on pulumi's repo

Ah ofc. Thank you :rolling_on_the_floor_laughing:

Small step :stuck_out_tongue: <https://github.com/pulumi/docs/pull/6598>