BryanDavis has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/338027 )
Change subject: Fix rubocop lint problem ...................................................................... Fix rubocop lint problem Random linters are random. No idea how this got in in the first place. Change-Id: I0d4f99cbd8b568d29f51cbf461cdf5cf0a2605ed --- M Vagrantfile 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/27/338027/1 diff --git a/Vagrantfile b/Vagrantfile index 773bfc9..0e2f2ce 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -76,7 +76,7 @@ config.vm.provider :hyperv do |_hyperv, override| override.vm.box = 'ira/leap' override.vm.network :private_network, ip: settings[:static_ip] - end + end # LXC provider. Enable wtih `--provider=lxc` # Requires vagrant-lxc plugin and Vagrant 1.7+ -- To view, visit https://gerrit.wikimedia.org/r/338027 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0d4f99cbd8b568d29f51cbf461cdf5cf0a2605ed Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: jessie-migration Gerrit-Owner: BryanDavis <bda...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits