Cscott has uploaded a new change for review.
https://gerrit.wikimedia.org/r/130673
Change subject: mw-core-get.sh: Record the commit fetched.
......................................................................
mw-core-get.sh: Record the commit fetched.
Change-Id: I69f78f000e3b5449f6e158f1b5f71f58478e951e
---
M bin/mw-core-get.sh
1 file changed, 2 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins
refs/changes/73/130673/1
diff --git a/bin/mw-core-get.sh b/bin/mw-core-get.sh
index 04660b7..7f0c103 100755
--- a/bin/mw-core-get.sh
+++ b/bin/mw-core-get.sh
@@ -14,8 +14,9 @@
fi
if [ -d "$GIT_LOCAL" ]; then
+ # Record the exact commit fetched on stderr via 'git get-tar-commit-id'
git archive --remote="$GIT_LOCAL" "$TREE_ISH" \
- | (cd "$WORKSPACE" && tar xf -)
+ | tee >(git get-tar-commit-id 1>&2 ; cat > /dev/null ) \
else
# Fallback to git.wikimedia.org
curl
"https://git.wikimedia.org/zip/?r=mediawiki/core.git&format=gz&h=$TREE_ISH"; \
--
To view, visit https://gerrit.wikimedia.org/r/130673
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I69f78f000e3b5449f6e158f1b5f71f58478e951e
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Cscott <canan...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
