jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/404416 )
Change subject: Migrate mediawiki/vagrant to Docker ...................................................................... Migrate mediawiki/vagrant to Docker It has been switched to stretch so we can now use Vagrant 1.9.1 in its Gemfile (https://gerrit.wikimedia.org/r/#/c/404414/). Change-Id: Ib8772f2cc244853e0d79410836ea38194eac813d --- M zuul/layout.yaml 1 file changed, 3 insertions(+), 5 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 3a4cbdf..0b8a980 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -766,7 +766,7 @@ - '.*([Rr]akefile|/spec/)' # Same for mediawiki/vagrant - - name: ^mediawiki-vagrant-rake-(docker|jessie)$ + - name: ^mediawiki-vagrant-rake-docker$ files: - '.*' - name: ^puppet-wmf-styleguide-rake-docker$ @@ -2175,13 +2175,11 @@ - name: mediawiki/vagrant test: - - mediawiki-vagrant-rake-jessie + - mediawiki-vagrant-rake-docker gate-and-submit: - - mediawiki-vagrant-rake-jessie + - mediawiki-vagrant-rake-docker postmerge: - mediawiki-vagrant-puppet-doc-publish - experimental: - - mediawiki-vagrant-rake-docker - name: node-rdkafka-statsd template: -- To view, visit https://gerrit.wikimedia.org/r/404416 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib8772f2cc244853e0d79410836ea38194eac813d Gerrit-PatchSet: 2 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits