jenkins-bot has submitted this change and it was merged.
Change subject: Allow two more repos that now have revisions
......................................................................
Allow two more repos that now have revisions
Change-Id: I2e0dd08c30862e951a12fc372ca54ad0523a59d6
---
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 89f23f3..66539fc 100755
--- a/bin/repoupdate
+++ b/bin/repoupdate
@@ -132,7 +132,7 @@
cd extensions
count=0
- EXTENSIONS=$(curl -s
"https://gerrit.wikimedia.org/mediawiki-extensions.txt";|egrep -v
"(FundraisingEmailUnsubscribe|Capiunto|DataValueImplementations|DataValuesCommon|DataValuesInterfaces|^Wikidata$|WikibaseClient|WikibaseLib|WikibaseRepo)")
+ EXTENSIONS=$(curl -s
"https://gerrit.wikimedia.org/mediawiki-extensions.txt";|egrep -v
"(FundraisingEmailUnsubscribe|Capiunto|DataValuesCommon|^Wikidata$|WikibaseClient|WikibaseLib|WikibaseRepo)")
# Clone extension repos that do not exist yet.
for EXTENSION in $EXTENSIONS
--
To view, visit https://gerrit.wikimedia.org/r/96978
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e0dd08c30862e951a12fc372ca54ad0523a59d6
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
