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