[01:41] *** ete_ has joined #wikiteam [02:57] *** ete_ has quit IRC (Remote host closed the connection) [19:34] Quick question, Nemo_bis [19:35] Why are all the wikis being dumped into opensource collection on archive.org instead of a wikiteam collection? [19:38] SketchCow: not all, just a tiny fraction [19:39] I filed a bug but didn't investigate yet [19:39] I uploaded 5800 wikis, how many are in opensource? [19:39] https://github.com/WikiTeam/wikiteam/issues/209 [19:40] 400? :/ sigh [19:40] Yes. [19:40] I can just move them over, if you'd like. [19:41] SketchCow: yes please, sorry [19:41] We'll fix the metadata later [19:41] It's not hard to do - I just ran the command, they'll get done very shortly. [19:42] Thanks [19:42] 32 in some weird state [19:42] but more are over now.