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

That sounds like a good idea! Would you mind filing a suggestion at <https://github.com/pulumi/actions/issues>?

There is this:
<https://github.com/pulumi/actions/issues/589>

says it’s not currently planned

Ah well, sorry then. There’s still the option of contributing it.