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

image.png

<@UKHFQ233Q> this needs to be fixed for that: <https://github.com/pulumi/registry/issues/3159|https://github.com/pulumi/registry/issues/3159>

<@UK4HNFLCB> added a comment, because IMHO the `registrygen` tool must be changed. Not the registry itself. <@UCWG26BH7> can prove me wrong :hugging_face:

Because we must enumerate the files in the `docs` folder, we could use the TREE API of GitHub <https://docs.github.com/en/rest/git/trees?apiVersion=2022-11-28> in `registrygen`

Or even better the Content API <https://docs.github.com/en/rest/repos/contents?apiVersion=2022-11-28>

Couldn't resist :joy:
<https://github.com/pulumi/registrygen/pull/19>

<@UCWG26BH7> <@U02GSM8UU1H> anyone up for a review?