This message was deleted.
s
This message was deleted.
b
e
Thank you! Made a PR (https://github.com/pulumi/get.pulumi.com/pull/66). Do I need to create an issue too or is the PR sufficient?