Hey can I merge this PRS <https github com pulumiverse infra pulumi-community #pulumiverse

Title

# pulumiverse

m

many-telephone-49025

11/20/2023, 10:25 AM

Hey, can I merge this PRS? • https://github.com/pulumiverse/infra/pull/122 • https://github.com/pulumiverse/infra/pull/126 • https://github.com/pulumiverse/infra/pull/130