jenkins-bot has submitted this change and it was merged. (
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(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
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: merged
Gerrit-Change-Id: I0d4f99cbd8b568d29f51cbf461cdf5cf0a2605ed
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: jessie-migration
Gerrit-Owner: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
