@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
bulky-hamburger-30930
03/12/2024, 4:54 PM
@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.
❤️ 1
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 #C02K7DR9XMK 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 🙌 🚀 🥰
No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.