Hey guys giving pulumi a go today - does anyone know if the brew package is going to be upgraded anytime soon? it installs 0.17.11 by default and it doesnt appear 0.17.12 is an option. am i ok to manually update to 0.17.12

The PR to brew is out for review, but often takes them up to 24 hours to merge. It should be available soon.