-
QuickBASICHi luigi1111, I think there was some confusion (around 0846 UTC October 3) regarding merging 1835, but ErCiccione did say "^ disregard. I misunderstood. Can be merged" after. Can we please merge this when you get a chance?
-
ErCiccioneI think he said he will merge soon
-
ErCiccioneI suggest to change the date of the blog post in the meantime.
-
QuickBASICWill do.
-
QuickBASICEverytime I think I get git, I get got. Somehow I deleted the post when I renamed for date change and squashed the commit. I re-added it and sqaushed again so everything is fine now though.
-
luigi1111Yes
-
QuickBASICI see it's now merged. Thank you. I'm assuming it goes live the next time binaryFate deploys? Or who pushes that button?
-
binaryFateyes me when I'm told to :)
-
QuickBASICJust trying to wrap my head around the loose quorum here after my time away (my last contributions were 3+ years ago.) Who's the teller that tells the button pusher?
-
binaryFateErCiccione tells me when the latest master is to be deployed
-
ErCiccioneUsually that's me yeah. I test that master is ok and then ping binaryfate here if it's ready to deploy.
-
ErCiccionewe could actually deploy now. Only the blog post got merged from the last time and would be good to have it out soon
-
binaryFateshould I deploy then?
-
selstayes
-
binaryFatedeployed and cache flushed
-
QuickBASICYay! Thank you all.