jenkins-bot has submitted this change and it was merged.
Change subject: Prevent resources folder pollution
......................................................................
Prevent resources folder pollution
Change-Id: I280d1dd63290dc176caf111706b8708cc0d0944d
---
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 589a7f7..fe0d294 100755
--- a/bin/repoexport
+++ b/bin/repoexport
@@ -108,7 +108,7 @@
php "$EXPORTER" --target . --group 'ext-g*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
php "$EXPORTER" --target . --group 'ext-h*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
php "$EXPORTER" --target . --group 'ext-i*' --lang '*' --skip
"$SKIPLANGS" $HOURS --skipgroup=ext-installer &
- php "$EXPORTER" --target . --group 'ext-j*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
+ php "$EXPORTER" --target . --group 'ext-j*' --lang '*' --skip
"$SKIPLANGS" $HOURS --skipgroup=ext-jquery-uls &
php "$EXPORTER" --target . --group 'ext-k*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
php "$EXPORTER" --target . --group 'ext-l*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
php "$EXPORTER" --target . --group 'ext-m*' --lang '*' --skip
"$SKIPLANGS" $HOURS &
--
To view, visit https://gerrit.wikimedia.org/r/66921
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I280d1dd63290dc176caf111706b8708cc0d0944d
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
