[MediaWiki-commits] [Gerrit] Use Cirrus as default on mw.org - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Use Cirrus as default on mw.org .. Use Cirrus as default on mw.org Change-Id: Idbbe12c3e4fff507ba1fc621ce6a8799dc444ea7 --- M
[MediaWiki-commits] [Gerrit] Use Cirrus as default on mw.org - change (operations/mediawiki-config)
Chad has uploaded a new change for review. https://gerrit.wikimedia.org/r/83759 Change subject: Use Cirrus as default on mw.org .. Use Cirrus as default on mw.org Change-Id: Idbbe12c3e4fff507ba1fc621ce6a8799dc444ea7 --- M