13:50:29 Hi 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? 13:52:05 I think he said he will merge soon 13:52:24 I suggest to change the date of the blog post in the meantime. 13:53:55 Will do. 14:21:02 Everytime 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. 14:57:37 Yes 18:15:45 I see it's now merged. Thank you. I'm assuming it goes live the next time binaryFate deploys? Or who pushes that button? 18:16:56 yes me when I'm told to :) 18:57:07 Just 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? 18:59:22 ErCiccione tells me when the latest master is to be deployed 19:05:16 Usually that's me yeah. I test that master is ok and then ping binaryfate here if it's ready to deploy. 19:05:58 we could actually deploy now. Only the blog post got merged from the last time and would be good to have it out soon 20:23:31 should I deploy then? 20:23:45 yes 20:46:38 deployed and cache flushed 20:55:44 Yay! Thank you all.