sparse-intern-71089
07/31/2019, 7:12 PMcool-egg-852
07/31/2019, 7:13 PMbroad-dog-22463
07/31/2019, 7:14 PMwhite-balloon-205
cool-egg-852
07/31/2019, 7:14 PMcool-egg-852
07/31/2019, 7:14 PMcool-egg-852
07/31/2019, 7:15 PMwhite-balloon-205
cool-egg-852
07/31/2019, 7:15 PMwhite-balloon-205
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.cool-egg-852
07/31/2019, 7:16 PMcool-egg-852
07/31/2019, 7:16 PM