[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Temporarily require Vagrant < 1.9.0

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged.

Change subject: Temporarily require Vagrant < 1.9.0
..


Temporarily require Vagrant < 1.9.0

Vagrant 1.9.0 includes plugin loading changes that are not compatible
with MediaWiki-Vagrant's plugin bootstrapping process.

Bug: T151928
Change-Id: I81fa0647be9d8a11dac8f63f0755dc6dcf03fd83
---
M Vagrantfile
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  BryanDavis: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Vagrantfile b/Vagrantfile
index afc19a0..a4ef800 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -27,6 +27,10 @@
 # http://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker
 #
 
+# T151928: Vagrant 1.9.0 unable to install local mediawiki-vagrant plugin
+Vagrant.require_version "< 1.9.0"
+
+
 # Ensure we're using the latest version of the plugin
 require_relative 'lib/mediawiki-vagrant/version'
 require 'fileutils'

-- 
To view, visit https://gerrit.wikimedia.org/r/324344
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I81fa0647be9d8a11dac8f63f0755dc6dcf03fd83
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: BryanDavis 
Gerrit-Reviewer: BryanDavis 
Gerrit-Reviewer: Dduvall 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Temporarily require Vagrant < 1.9.0

[BryanDavis (Code Review)]

BryanDavis has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/324344

Change subject: Temporarily require Vagrant < 1.9.0
..

Temporarily require Vagrant < 1.9.0

Vagrant 1.9.0 includes plugin loading changes that are not compatible
with MediaWiki-Vagrant's plugin bootstrapping process.

Bug: T151928
Change-Id: I81fa0647be9d8a11dac8f63f0755dc6dcf03fd83
---
M Vagrantfile
1 file changed, 4 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant 
refs/changes/44/324344/1

diff --git a/Vagrantfile b/Vagrantfile
index afc19a0..a4ef800 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -27,6 +27,10 @@
 # http://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker
 #
 
+# T151928: Vagrant 1.9.0 unable to install local mediawiki-vagrant plugin
+Vagrant.require_version "< 1.9.0"
+
+
 # Ensure we're using the latest version of the plugin
 require_relative 'lib/mediawiki-vagrant/version'
 require 'fileutils'

-- 
To view, visit https://gerrit.wikimedia.org/r/324344
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I81fa0647be9d8a11dac8f63f0755dc6dcf03fd83
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: BryanDavis 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits