Mobrovac has uploaded a new change for review. https://gerrit.wikimedia.org/r/296527
Change subject: git-update: Update extensions and skins that are submodules ...................................................................... git-update: Update extensions and skins that are submodules If an extension or skin is defined as a git sub-module, it'll contain a .git file which will point to a different location. Make sure vagrant git-update updates those repos as well. Change-Id: I0ae6e2287e3af181640b634f964bb45c5f8059e8 --- M puppet/modules/mediawiki/templates/run-git-update.erb 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/27/296527/1 diff --git a/puppet/modules/mediawiki/templates/run-git-update.erb b/puppet/modules/mediawiki/templates/run-git-update.erb index dcfaf81..e90b0be 100644 --- a/puppet/modules/mediawiki/templates/run-git-update.erb +++ b/puppet/modules/mediawiki/templates/run-git-update.erb @@ -155,7 +155,7 @@ for DIR in $MW_INSTALL_PATH \ ${MW_INSTALL_PATH}/extensions/* \ ${MW_INSTALL_PATH}/skins/*; do - if [[ -d $DIR ]] && [[ -d ${DIR}/.git ]]; then + if [[ -d $DIR ]] && [[ -d ${DIR}/.git || -f ${DIR}/.git ]]; then echo $DIR fi done | -- To view, visit https://gerrit.wikimedia.org/r/296527 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0ae6e2287e3af181640b634f964bb45c5f8059e8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Mobrovac <mobro...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits