[01:11:27] Seems to be working https://defaultextensiontest3.miraheze.org/wiki/Special:Version [01:12:54] Linter and DiscussionTools are next in line and they can be very problematic. I'll draft a PR first. [01:18:41] fingers crossed our config doesn't gift us another funny problem that ends with SRD making a reaction gif out of the result [01:27:20] On average about 2 wikis get created per hour so as long as we test and revert fast enough no wiki should be affected. If it is unlucky enough I guess tech can manually intervene: repair the wiki if possible; otherwise delete the wiki and create it again. [01:35:13] Prod exploder part 2: https://github.com/miraheze/mw-config/pull/6421 [01:41:27] [1/5] I guess we'd want another review before merging, though I'm not sure if there's much to review. The workflow was: [01:41:28] [2/5] 1. Add DT and Linter to extensions. [01:41:28] [3/5] 2. Add DT database tables. [01:41:28] [4/5] 3. Add Linter tables. Wait it's already in there for some reason. Skipping it. [01:41:28] [5/5] The fun part is to test on beta and prod. [14:16:54] Does anyone have any idea how we can fix the failing codecov CI in this PR https://github.com/miraheze/CreateWiki/pull/818 ? [14:18:48] by adding tests https://github.com/miraheze/CreateWiki/blob/main/tests/phpunit/RequestWiki/Specials/SpecialRequestWikiTest.php [14:19:01] or by ignoring if you're feeling crazy [15:22:13] That's what I initially thought but Void seemed to suggest that there was an error/it needed a rebase. I guess I misunderstood [15:22:36] I'll see what tests need to be added in that case [15:31:07] they need to target the new functions you've added [18:40:37] hmm, what's up with this CI fail now? https://github.com/miraheze/CreateWiki/actions/runs/26305386506/job/77440738419#step:16:275 [18:52:37] Exactly what it says? [19:15:46] ah it seems @pskyechology left a review already, thanks! [19:32:27] not sure why it would fail for lines 21-23 though [20:02:28] Well I don't really have any other ideas [21:38:33] [1/2] Bad gateway [21:38:33] [2/2] The web server reported a bad gateway error. [22:52:16] [1/2] wow [22:52:16] [2/2] https://cdn.discordapp.com/attachments/1006789349498699827/1507516474997346416/image.png?ex=6a122f9f&is=6a10de1f&hm=b3896a6ae64efd19e1ac772066fbe58d86c774eaaae1973d0220471b6687c813& [22:52:48] mediawiki is down?!? [22:54:49] No, I would assume something is wrong with the configuration on that wiki [22:54:51] oh it works now [22:54:57] oh