[14:00:22] Is notwikilambda down? [14:01:19] it's slow but it seems to be loading here [14:13:24] I'm getting a 502 Error more often than not [14:26:18] it looks like SkinMustache.php got lost again (which previously happened when git ran out of memory); I’ll bump the RAM of the updater a bit more [14:31:43] hopefully it’ll work better now [17:44:19] Today is the last day of the first round for choosing an official name for wiki of functions. [17:44:20] https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Wiki_of_functions_naming_contest [17:45:03] It seems that the six official names that will pass to the second round are currently clear. [17:47:16] They have been the same since the beginning of the bid. [18:14:17] "Skin Mustache" better be one of those six [18:51:45] lucaswerkmeister: when you say SkinMustache.php "got lost" do you mean the file just disappeared off disk? [19:03:06] legoktm: it’s a problem with git that had been happening before already – when git would run out of memory during the git pull and crash, it would leave SkinMustache.php unlinked [19:03:11] idk why but it was very reliably that particular file [19:03:53] huh, I've never heard of that happening before [19:34:16] is it automatically doing a git pull then? [19:34:33] (and if so, could you not make it check that that file still exists afterwards if it happens repeatedly?) [19:34:53] yes (re @Nikki: is it automatically doing a git pull then?) [19:35:13] I guess, but there was no reason to expect it to happen again after I gave enough RAM to the updater (re @Nikki: (and if so, could you not make it check that that file still exists afterwards if it happens repeatedly?)) [19:37:39] are you sure it'll be enough ram for the future too though? [19:37:55] if it isn’t I can bump it again [19:38:06] but checking for that particular file feels really wrong to me [19:38:37] heh ok [19:39:01] but there’s actually one thing I can try [19:43:31] this used to have git pull || die; maybe the git checkout will help : https://tools-static.wmflabs.org/bridgebot/8f5fdf82/file_993.jpg [19:54:12] what does @ do/mean? [19:59:53] refers to the HEAD revision [20:00:08] ahh [20:00:15] I guess a git reset --hard would’ve done the same thing