https://pulumi.com logo
#general
Title
# general
c

cool-egg-852

07/31/2019, 7:12 PM
Seems like someone forgot to update brew with the newer versions pulumi?
cc @gentle-diamond-70147
b

broad-dog-22463

07/31/2019, 7:14 PM
@bitter-oil-46081
w

white-balloon-205

07/31/2019, 7:14 PM
c

cool-egg-852

07/31/2019, 7:14 PM
Weird, I literally just searched it and no results came up
I must have had a typo somehow. Sorry 😞
Seems like pulumi should probably have it’s own tap for more frequent updates.
w

white-balloon-205

07/31/2019, 7:15 PM
They are 5 days behind on merging PRs unfortunately, and we have two releases that they have not yet merged.
c

cool-egg-852

07/31/2019, 7:15 PM
And continue to update homebrew-core for those who don’t end up using the tap.
w

white-balloon-205

07/31/2019, 7:15 PM
Seems like pulumi should probably have it’s own tap for more frequent updates.
Yes - we will likely need to do that given the unreliability of
homebrew-core
. We frequently have releases fail to merge there for 3+ days.
c

cool-egg-852

07/31/2019, 7:16 PM
I think pulumi updates with more frequency than average.
And they (homebrew) certainly are unreliable
2 Views