BryanDavis has uploaded a new change for review.
https://gerrit.wikimedia.org/r/161360
Change subject: labs-vagrant: add git-update command
......................................................................
labs-vagrant: add git-update command
S pointed out that this was missing in an email.
Change-Id: I30a3b776934e3aba5e4be43b95fc7435a1d12a80
---
M lib/labs-vagrant.rb
1 file changed, 4 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/60/161360/1
diff --git a/lib/labs-vagrant.rb b/lib/labs-vagrant.rb
index c63a07f..b147196 100755
--- a/lib/labs-vagrant.rb
+++ b/lib/labs-vagrant.rb
@@ -76,11 +76,15 @@
--detailed-exitcodes \
#{puppet_path}/manifests/site.pp"
+when 'git-update'
+ exec 'sudo -u vagrant -- /usr/local/bin/run-git-update'
+
else
puts 'USAGE: labs-vagrant COMMAND ...'
puts ' list-roles : list available roles'
puts ' reset-roles : disable all roles'
puts ' enable-role ROLENAME : enable a given role'
puts ' disable-role ROLENAME : disable a given role'
+ puts ' git-update : fetches new code from Gerrit'
puts ' provision : run puppet'
end
--
To view, visit https://gerrit.wikimedia.org/r/161360
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I30a3b776934e3aba5e4be43b95fc7435a1d12a80
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: BryanDavis <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
