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

bulky-hamburger-30930

03/11/2024, 7:54 AM
@miniature-musician-31262 @orange-policeman-59119 @colossal-address-99162 hi folks. I'm trying to add a new community provider to the pulumi registry. Could you please take a look a this PR? https://github.com/pulumi/registry/pull/4028
@limited-rainbow-51650 @cuddly-flower-91328 is it possible anyhow to reach out to these guys?
m

miniature-musician-31262

03/12/2024, 5:41 PM
Sorry for the delay on this -- I'll ping some folks internally to see if we can get this looked at.
l

limited-rainbow-51650

03/14/2024, 1:42 PM
@bulky-hamburger-30930 merged! FYI: twice a day, we check for new releases of registered providers in the registry. For a new release, a PR is created automatically within the
pulumi/registry
repository. These PRs are not automatically merged for community providers. I keep an eye on the registry to merge these, but do ping in the #registry channel if one would slip my attention.
b

bulky-hamburger-30930

03/14/2024, 1:44 PM
@limited-rainbow-51650 thank you so much! Finally we got it onboard 🙌 🚀 🥰