[06:15:46] There were 13k before. Deletion was also paused due to swift issues until the migration [16:15:14] @rhinosf1 First full test of the renamewiki python script. If it's confirmed to work fully again then we should make it official in puppet [16:15:22] (using your lastest phorge paste) [16:16:39] Also, do you think we should keep skip/continue/abort in the final version? there's no output provided anyway so unless it's an error not sure how useful it is [16:18:33] I was thinking if it did error that would allow you to pick back up from where it failed [16:18:43] If like DB broke [16:19:27] ah, fair enough. We can probably keep it for now then [16:19:36] and I can confirm it went through with zero errors [16:20:08] Also well add it to functions not puppet [16:20:16] We can release a functions this weekend [16:20:19] I think [16:36:19] Thanks! I'll leave that to you now that you have access [16:46:29] I will push it to PyPi once I can [16:47:10] We should update the !log message to say Miraheze.mediawiki.cli.rename or just rename-wiki when I do [16:47:20] Because it won't be renamewiki.py as a name [16:47:22] But meh