Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/152294
Change subject: Stop using Gerrit's MediaWiki/mediawiki-extensions.txt ...................................................................... Stop using Gerrit's MediaWiki/mediawiki-extensions.txt Chad hates the fact the things 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(-) git pull ssh://gerrit.wikimedia.org:29418/translatewiki refs/changes/94/152294/1 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: newchange Gerrit-Change-Id: I25af884fb76173edbc4c6a035adb81eb1d3d81df Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
