[19:46:20] <wikibugs>	 (03PS1) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049)
[19:49:43] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)
[19:50:57] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049)
[19:52:38] <wikibugs>	 (03PS3) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049)
[20:41:06] <wikibugs>	 (03CR) 10MaxSem: [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)
[20:44:29] <wikibugs>	 (03Merged) 10jenkins-bot: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/547987 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)