10 results (16ms)
2021-05-28 §
21:05 <wm-bot> <lucaswerkmeister> deployed https://github.com/lucaswerkmeister/pygments-server rather than yesterday’s uncommitted version of it (most significant change: now on port 7879) [tools.notwikilambda]
00:17 <wm-bot> <lucaswerkmeister> set up SyntaxHighlighting earlier this evening, with custom pygments-server as a separate kubernetes service [tools.notwikilambda]
2021-05-27 §
19:42 <majavah> bump quota to 3 services T283754 [tools.notwikilambda]
2021-04-14 §
21:40 <wm-bot> <lucaswerkmeister> switched WSOAuth to Gerrit version [tools.notwikilambda]
2021-04-10 §
14:55 <wm-bot> <lucaswerkmeister> installed Scribunto, WikiEditor and CodeEditor a few hours ago; all of them seem to work fine [tools.notwikilambda]
2020-10-13 §
14:28 <wm-bot> <lucaswerkmeister> bumped update deployment to 3 GiB RAM [tools.notwikilambda]
2020-10-04 §
22:30 <wm-bot> <lucaswerkmeister> php maintenance/createAndPromote.php --force --interface-admin --sysop --bureaucrat "Lucas Werkmeister" [tools.notwikilambda]
2020-09-30 §
23:40 <wm-bot> <lucaswerkmeister> migrated `cron` from jstart to k8s, see deployment.yaml [tools.notwikilambda]
22:14 <wm-bot> <lucaswerkmeister> installed cldr because [[User:Jforrester|Jforrester]] said so :) [tools.notwikilambda]
2020-09-27 §
15:48 <wm-bot> <lucaswerkmeister> set $wgMainCacheType to CACHE_DB to hopefully make login sessions more stable [tools.notwikilambda]