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

I think that is a good idea! IIRC there is some standard label for this which gets aggregated by various services too

<https://help.github.com/articles/helping-new-contributors-find-your-project-with-labels/>

Definitely - we'll start adding this as part of triaging issues!