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

TBH, I think we ignore that `default` annotation (which is wrong). Great find! File an issue and we’ll fix it.

Would the issue go in the "pulumi/pulumi" repo?

<https://github.com/pulumi/pulumi-azure-nextgen/issues/183>