jenkins-bot has submitted this change and it was merged.
Change subject: Don't show progress meter
......................................................................
Don't show progress meter
Change-Id: I76febb7ac4d0c38211fe1e9f94868f2f4d5f6f1d
---
M bin/repoupdate
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/repoupdate b/bin/repoupdate
index eea0b74..7cae940 100755
--- a/bin/repoupdate
+++ b/bin/repoupdate
@@ -213,7 +213,7 @@
cd $PROJECT
- SKINS=$(curl
https://gerrit.wikimedia.org/r/projects/?p=mediawiki/skins/ |grep
'mediawiki/skins/' |cut -d '"' -f 2 |cut -d '/' -f3 |sort)
+ SKINS=$(curl -s
https://gerrit.wikimedia.org/r/projects/?p=mediawiki/skins/ |grep
'mediawiki/skins/' |cut -d '"' -f 2 |cut -d '/' -f3 |sort)
# Clone skin repos that do not exist yet.
for SKIN in $SKINS
--
To view, visit https://gerrit.wikimedia.org/r/152287
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I76febb7ac4d0c38211fe1e9f94868f2f4d5f6f1d
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
