[06:44:54] <wikibugs>	 10serviceops, 10Operations: upgrade and rename krypton & create its codfw equivalent - https://phabricator.wikimedia.org/T224247 (10MoritzMuehlenhoff) > switch to PHP 7.2 (T224194)  We did it for Phabricator for some feature readded in 7.1 and for the main wikis for performance reasons, but for random misc ser...
[17:28:40] <wikibugs>	 10serviceops, 10Operations, 10PHP 7.2 support, 10Patch-For-Review: switch webserver_misc_apps to PHP 7.2 (7.1) - https://phabricator.wikimedia.org/T224194 (10Dzahn)
[18:42:33] <wikibugs>	 10serviceops, 10MediaWiki-Cache, 10Operations, 10Core Platform Team (Security, stability, performance and scalability (TEC1)), and 5 others: Use a multi-dc aware store for ObjectCache's MainStash if needed. - https://phabricator.wikimedia.org/T212129 (10EvanProdromou) I'd assume there would be a lot of cou...
[22:16:48] <wikibugs>	 10serviceops, 10Operations: upgrade krypton (webserver_misc_apps) to stretch - https://phabricator.wikimedia.org/T210008 (10Dzahn)
[22:16:51] <wikibugs>	 10serviceops, 10Operations, 10PHP 7.2 support, 10Patch-For-Review: switch webserver_misc_apps to PHP 7.2 (7.1) - https://phabricator.wikimedia.org/T224194 (10Dzahn) 05Open→03Declined using PHP 7.2 was declined in T224247#5209664  This would just mean 7.0.  Upgrading to stretch is already covered in T21...
[22:17:44] <wikibugs>	 10serviceops, 10Operations: upgrade and rename krypton & create its codfw equivalent - https://phabricator.wikimedia.org/T224247 (10Dzahn)
[22:32:57] <wikibugs>	 10serviceops, 10Operations, 10Traffic, 10Wikidata, and 4 others: [Task] move wikiba.se webhosting to wikimedia cluster - https://phabricator.wikimedia.org/T99531 (10Dzahn) 05Open→03Stalled
[22:38:22] <wikibugs>	 10serviceops, 10Operations, 10vm-requests: ganeti VM request - miscweb2001 - equivalent of krypton - https://phabricator.wikimedia.org/T224323 (10Dzahn)
[22:48:46] <wikibugs>	 10serviceops, 10Operations, 10Patch-For-Review: upgrade and rename krypton & create its codfw equivalent - https://phabricator.wikimedia.org/T224247 (10Dzahn) >>! In T224247#5209664, @MoritzMuehlenhoff wrote: > miscweb1001/2001?  Sounds good!  added new name: https://wikitech.wikimedia.org/w/index.php?title=...