[22:51:35] <Krinkle>	 legoktm: so... with a plain switch from addModuleScripts to addModules() in GlobalCssJs (testing locally with wiki=wikiid,source=local), it breaks, as in, it uses mw.loader.load([]) instead of separate full request url with 'version' parameter.
[22:51:46] <Krinkle>	 I'll look into core why that is. It's definitely a bug.
[22:52:06] <legoktm>	 ok :)
[23:14:30] <Reedy>	 tgr: We're only just getting rid of math ocaml ;D
[23:17:16] <no_justification>	 Reedy: Crazy talk. Next you're gonna say we're EasyTimeline.pl
[23:17:56] <Reedy>	 https://gerrit.wikimedia.org/r/416600
[23:18:06] <Reedy>	 Why are we making such a hash job of arching repos?
[23:20:57] <Reedy>	 And it's marked readonly in github...
[23:21:01] <Reedy>	 So it's not gonna replicate?
[23:31:32] <legoktm>	 We should delete the github mirror when archiving
[23:45:06] <no_justification>	 We do ^
[23:45:19] * no_justification also needs to automate this
[23:50:12] <paladox>	 no_justification: another idea for the the wikimedia plugin :)
[23:50:33] <paladox>	 One that creates everything and one that archived everything (deletes) :)
[23:50:43] * no_justification goes back to not working & being sick