jenkins-bot has submitted this change and it was merged.
Change subject: Export group mediawiki-api with product mediawiki
......................................................................
Export group mediawiki-api with product mediawiki
Change-Id: I1c8a5ecadf341308f098a38f1429f8c10e6ffd4f
---
M bin/repoexport
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/repoexport b/bin/repoexport
index ade829e..d3fc379 100755
--- a/bin/repoexport
+++ b/bin/repoexport
@@ -88,7 +88,7 @@
then
php "$EXPORTER" --target . --group 'core' --lang='*' --skip
"$SKIPLANGS" --threshold 18 $HOURS &
php "$EXPORTER" --target . --group 'core' --lang "$FORCELANGS" $HOURS &
- php "$EXPORTER" --target . --group 'ext-installer' --lang='*' --skip
"$SKIPLANGS" $HOURS &
+ php "$EXPORTER" --target . --group 'ext-installer,mediawiki-api'
--lang='*' --skip "$SKIPLANGS" $HOURS &
wait
elif [ "$PROJECT" = "mediawiki-extensions" ]
--
To view, visit https://gerrit.wikimedia.org/r/169528
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1c8a5ecadf341308f098a38f1429f8c10e6ffd4f
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
