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 🤪

Joe talks about the origin of the name at the very end of this blog post: http://joeduffyblog.com/2018/06/18/hello-pulumi/

Ah thanks! Good to know and crisis averted 😉

that was a close one!