jenkins-bot has submitted this change and it was merged. Change subject: Stop using Gerrit's MediaWiki/mediawiki-extensions.txt ......................................................................
Stop using Gerrit's MediaWiki/mediawiki-extensions.txt Chad hates the fact the thing exists, so we shouldn't depend on it. Change-Id: I25af884fb76173edbc4c6a035adb81eb1d3d81df --- M bin/add-extensions M bin/repoupdate 2 files changed, 2 insertions(+), 2 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/add-extensions b/bin/add-extensions index f4a8d2a..df52426 100644 --- a/bin/add-extensions +++ b/bin/add-extensions @@ -4,7 +4,7 @@ . /resources/projects/REPOCONF -EXTENSIONS=$(curl -s "https://gerrit.wikimedia.org/mediawiki-extensions.txt"|egrep -v "(FundraisingEmailUnsubscribe|DataValuesCommon|ShortUrlApi)") +EXTENSIONS=$(curl -s https://gerrit.wikimedia.org/r/projects/?p=mediawiki/extensions/ |grep 'mediawiki/extensions/' |cut -d '"' -f 2 |cut -d '/' -f3 |sort|egrep -v "(FundraisingEmailUnsubscribe|DataValuesCommon|ShortUrlApi)") for EXTENSION in $EXTENSIONS do diff --git a/bin/repoupdate b/bin/repoupdate index 7cae940..8c542ed 100755 --- a/bin/repoupdate +++ b/bin/repoupdate @@ -179,7 +179,7 @@ cd $PROJECT cd extensions - EXTENSIONS=$(curl -s "https://gerrit.wikimedia.org/mediawiki-extensions.txt"|egrep -v "(FundraisingEmailUnsubscribe|DataValuesCommon|ShortUrlApi)") + EXTENSIONS=$(curl -s https://gerrit.wikimedia.org/r/projects/?p=mediawiki/skins/ |grep 'mediawiki/skins/' |cut -d '"' -f 2 |cut -d '/' -f3 | sort| egrep -v "(FundraisingEmailUnsubscribe|DataValuesCommon|ShortUrlApi)") # Clone extension repos that do not exist yet. for EXTENSION in $EXTENSIONS -- To view, visit https://gerrit.wikimedia.org/r/152294 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I25af884fb76173edbc4c6a035adb81eb1d3d81df Gerrit-PatchSet: 2 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@kitano.nl> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits