https://pulumi.com logo
#pulumiverse
Title
# pulumiverse
f

fierce-art-88136

09/05/2023, 8:29 AM
Hi there, can someone review this PR: https://github.com/pulumi/registry/pull/3015
l

limited-rainbow-51650

09/05/2023, 12:45 PM
@fierce-art-88136 yesterday was Labour Day in the US, so everyone had a day off. I will let the team pick this up when they get online in US timezone.
f

fierce-art-88136

09/07/2023, 1:20 PM
@limited-rainbow-51650 did you manage to check with the team?
l

limited-rainbow-51650

09/07/2023, 1:23 PM
I did drop a not in their slack channel, but given the timezone difference, I didn't keep an eye on it. Let me check.