jenkins-bot has submitted this change and it was merged.
Change subject: Fix hack to update VisualEditor submodule
......................................................................
Fix hack to update VisualEditor submodule
The logic in 82a4aea5f was wrong, fix it.
Change-Id: If84069a8d9daee066b1412bdc2109c39f7ae97f7
---
M jjb/mediawiki-extensions.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index b9bd336..e70032c 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -112,7 +112,7 @@
$(cat deps.txt)
# zuul-cloner should let us process submodules whenever needed
- shell: |
- if [ ! $(grep mediawiki/extensions/VisualEditor deps.txt > /dev/null)
]; then
+ if grep -q mediawiki/extensions/VisualEditor deps.txt; then
cd src/extensions/VisualEditor
git submodule update --init
fi
--
To view, visit https://gerrit.wikimedia.org/r/181365
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If84069a8d9daee066b1412bdc2109c39f7ae97f7
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
