https://pulumi.com logo
r

rapid-eye-32575

02/21/2020, 3:12 PM
Hi everyone, I have an extremly important question which is driving me mad: What is the origin for the name Pulumi? Google Translate seems to suggest that is Hawaiin for a Burmese but I'm not sure that is it. Any enlightenment would be greatly appreciated 🤪
w

white-balloon-205

02/21/2020, 3:16 PM
Joe talks about the origin of the name at the very end of this blog post: http://joeduffyblog.com/2018/06/18/hello-pulumi/
r

rapid-eye-32575

02/21/2020, 3:36 PM
Ah thanks! Good to know and crisis averted 😉
e

early-intern-90238

02/21/2020, 6:35 PM
that was a close one!