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

<@U029G0RLUBX> I forwarded your request to the proper team.

<@U02J3T6A8LB> Please could you help us make this merged or considered at least?

Yes please, if they don’t like our PR they are free to do it again, we just need the new github terraform version

Hi <@U029G0RLUBX> - apologies for dropping the ball on this one, and thank you for following up!
Because I'm updating a few dependencies as well, I've opened <https://github.com/pulumi/pulumi-github/pull/284> and will push a new release as soon as it's merged.

<@U02LHPNK4HW> no problem as I said we just need it to be updated asap ty.

the new version, 5.2.0, has been released!