2012-12-20
§
|
13:53 |
<hashar> |
Jenkins: deleting the old MediaWiki-* jobs which used the Gerrit Trigger plugin. |
[production] |
13:45 |
<hashar> |
synchronized php-1.21wmf6/extensions/WikimediaMaintenance 'Bring in {{gerrit|32169}} : per-realm and per-datacenter configuration' |
[production] |
09:49 |
<hashar> |
synchronized wmf-config/ 'ext file now uses realm for consistency {{gerrit|39058}}. That makes CheckUser to load only in production. Checked on test.wp.o' |
[production] |
09:38 |
<hashar> |
synchronized wmf-config 'use $wmfRealm in switches instead of legacy $cluster {{gerrit|39057}}' |
[production] |
09:35 |
<hashar> |
synchronized live-1.5/robots.php 'use $wmfRealm in switches instead of legacy $cluster {{gerrit|39057}}' |
[production] |
09:21 |
<hashar> |
synchronized multiversion/MWMultiVersion.php 'now requires multiversion/MWRealm.php {{gerrit|39543}}' |
[production] |
09:20 |
<hashar> |
synchronized multiversion/activeMWVersions 'now requires multiversion/MWRealm.php {{gerrit|39543}}' |
[production] |
09:20 |
<hashar> |
synchronized multiversion/backupWikiversions 'now requires multiversion/MWRealm.php {{gerrit|39543}}' |
[production] |
09:19 |
<hashar> |
synchronized refresh-dblist 'now requires multiversion/MWRealm.php {{gerrit|39543}}' |
[production] |