[16:19:01] Krinkle: we have a fix from @tgr on https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1013392/9..10 [16:22:06] well, the fix is the whole patch itself, from Derick. I just didn't like the clear() change. Though in hindsight that was a bad reason to delay the backport. [16:23:14] Other option would be to rollback the original change (if possible), but if we have a fix ready - then most likely it would be better to go with the fix [16:43:04] tgr: pmiazga ack, I've merged our two patch versions. ready for re-review. [17:18:51] Krinkle: should we backport it or leave that to the train conductor? [17:19:08] https://wikitech.wikimedia.org/wiki/Deployments#!/deploycal/current [17:19:43] looks clear so could do a backport, but brennen is also here to tell us whether he's around :) [17:33:37] Krinkle tgr: i think nobody will object to you doing a backport, but jeena's actually conductor this week - ping her on #-operations i'd say to let her know what's up. [17:33:57] (i imagine she can also backport if needed.) [23:02:02] Reedy: looking forward to (hopefully) today's release tags correctly and automatically publishing php docs to doc.wikimedia.org again for the first time in many years. [23:02:12] ref T317451 [23:02:13] T317451: MediaWiki core docs unavailable for MW 1.35 and later - https://phabricator.wikimedia.org/T317451 [23:02:13] * Reedy crosses many things [23:02:21] Should be able to push the tags in a few mins [23:02:33] the release notes/version bump patches are just going through CI [23:05:21] nice [23:13:31] pushed [23:22:36] https://integration.wikimedia.org/zuul/#q=publish [23:22:54] well, it triggered the doxygen job at least. that's progress. let's hope it also doesn't get stuck crawling submodules again