Thanks for replying @echoing-dinner-19531. Super embarrassing, but I was having unrelated git auth issues that I had wrongly assumed was related to being unable to create PRs to the pulumi-dotnet repo 😖 all resolved now and a PR has been opened 🙂