Just out of curiosity, is there a reason why the
pulumi-dotnet GH repo doesn't allow PRs from the community? I found a very minor, albeit blocking (for something I'm working on) bug, that I attempted to open a fix for. I truly value Pulumi and would love to contribute to a great project.