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

it's handled here, yes a ticket would be great!
<https://github.com/pulumi/pulumi-kubernetes/blob/master/provider/pkg/provider/diff.go>

I can probably get this added fairly quickly if you cut an issue

<https://github.com/pulumi/pulumi/issues/8100>
Thanks Lee!