jenkins-bot has submitted this change and it was merged. Change subject: Remove obsolete tools/fetch-mw-ext ......................................................................
Remove obsolete tools/fetch-mw-ext The last usage was a JJB macro used by legacy browser tests jobs. We came up with a better system and https://gerrit.wikimedia.org/r/234519 did the cleanup. The script is no more used anywhere and can be removed. That removes a dependency we had toward git.wikimedia.org. Bug: T74001 Change-Id: Id05e2475030c46e7f7517045b6bf92c6c1543932 --- D tools/fetch-mw-ext 1 file changed, 0 insertions(+), 63 deletions(-) Approvals: JanZerebecki: Looks good to me, approved jenkins-bot: Verified diff --git a/tools/fetch-mw-ext b/tools/fetch-mw-ext deleted file mode 100755 index ee52f10..0000000 --- a/tools/fetch-mw-ext +++ /dev/null @@ -1,63 +0,0 @@ -#!/bin/bash -e -# -# Dumb hack to get a snapshot of MediaWiki extensions - -GERRIT_BASE="https://gerrit.wikimedia.org/r/p/" -# Path where Gerrit replicates repositories: -GIT_BARE_BASE="/srv/ssd/gerrit" - -# Helper functions -function warn() { echo "$@" 1>&2; } -function fatal() { warn "$@"; exit 1; } - -# Function fetch an extension under the job workspace -# Parameter: extension name (ex: Validator) -function get_ext { - GERRIT_URL="$GERRIT_BASE/mediawiki/extensions/$1.git" - GIT_BARE_DIR="$GIT_BARE_BASE/mediawiki/extensions/$1.git" - # TODO: make sure that directory exist or die saying the - # Gerrit replication failed to replicate this extension. - DEST="$WORKSPACE/extensions/$1" - - # Snapshot `master` in the job workspace - - echo "Deleting and recreating '$DEST'..." - # Wipe the extension destination directory before applying - # the archive or deleted file will still be around :/ - rm -fR "$DEST" - # Recreate the directory for 'git archive' - mkdir -p "$DEST" - - if [ -d "$GIT_BARE_DIR" ]; then - echo "Copying '$1' in '$DEST'" - echo "Git archive of 'master' from $GIT_BARE_DIR" - git archive --remote="$GIT_BARE_DIR" master \ - | (cd "$DEST" && tar xf -) - echo "Copy complete." - else - echo "Getting tarball of '$1' from git.wikimedia.org to '$DEST'" - curl "https://git.wikimedia.org/zip/?r=mediawiki/extensions/${1}.git&format=gz&h=master" \ - | (cd "$DEST" && tar xzf -) - fi -} - -# Pre checks -if [ "x$WORKSPACE" == "x" ]; then - fatal \$WORKSPACE env variable must be set -elif [ ! -d "$WORKSPACE" ]; then - fatal "$WORKSPACE" is not a directory -fi - -# Extract extension names separated by comma -ARGS=$@ -IFS="," -mw_exts=($*) - -echo "Starting extensions fetches..." -for mw_ext in "${mw_exts[@]}"; do - echo - echo "Fetching $mw_ext" - get_ext "$mw_ext" -done; -echo -echo "Done." -- To view, visit https://gerrit.wikimedia.org/r/234520 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id05e2475030c46e7f7517045b6bf92c6c1543932 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: JanZerebecki <jan.wikime...@zerebecki.de> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits