[04:08:03] PROBLEM - check disk on ORES-web02.Experimental is WARNING: DISK WARNING - free space: / 1081 MB (5% inode=92%); [05:38:05] PROBLEM - check disk on ORES-web02.Experimental is WARNING: DISK WARNING - free space: / 1044 MB (5% inode=92%); [06:26:03] RECOVERY - check disk on ORES-web02.Experimental is OK: DISK OK [09:43:10] (03PS2) 10Umherirrender: build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 [09:48:14] (03CR) 10jerkins-bot: [V: 04-1] build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 (owner: 10Umherirrender) [11:03:35] (03PS1) 10Umherirrender: Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 [11:08:19] (03CR) 10jerkins-bot: [V: 04-1] Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 (owner: 10Umherirrender) [12:11:18] (03PS1) 10Umherirrender: Also reset wgCentralIdLookupProvider in unit tests [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492471 [12:19:06] (03CR) 10Umherirrender: "Yah, tests fixed for this repo now" [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492471 (owner: 10Umherirrender) [12:19:18] (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-codesniffer to 24.0.0 [extensions/JADE] - 10https://gerrit.wikimedia.org/r/488545 (owner: 10Libraryupgrader) [12:19:40] (03PS3) 10Umherirrender: build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 [12:20:02] (03PS4) 10Umherirrender: build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 [12:20:15] (03PS2) 10Umherirrender: Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 [17:31:59] (03CR) 10Raimond Spekking: [C: 03+1] Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 (owner: 10Umherirrender) [22:30:38] (03CR) 10Legoktm: [C: 03+2] Also reset wgCentralIdLookupProvider in unit tests [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492471 (owner: 10Umherirrender) [22:30:48] (03CR) 10Legoktm: [C: 03+2] build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 (owner: 10Umherirrender) [22:31:02] (03CR) 10Legoktm: [C: 03+2] Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 (owner: 10Umherirrender) [22:38:50] (03Merged) 10jenkins-bot: Also reset wgCentralIdLookupProvider in unit tests [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492471 (owner: 10Umherirrender) [22:38:52] (03Merged) 10jenkins-bot: build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 (owner: 10Umherirrender) [22:39:34] (03Merged) 10jenkins-bot: Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 (owner: 10Umherirrender) [22:42:05] (03CR) 10jenkins-bot: Also reset wgCentralIdLookupProvider in unit tests [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492471 (owner: 10Umherirrender) [22:45:20] (03CR) 10jenkins-bot: build: Set private: true in package.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/490989 (owner: 10Umherirrender) [22:48:26] (03CR) 10jenkins-bot: build: Updating mediawiki/mediawiki-codesniffer to 24.0.0 [extensions/JADE] - 10https://gerrit.wikimedia.org/r/488545 (owner: 10Libraryupgrader) [22:52:51] (03CR) 10jenkins-bot: Rename Jade.namespaces.php to match extension.json [extensions/JADE] - 10https://gerrit.wikimedia.org/r/492468 (owner: 10Umherirrender)