jenkins-bot has submitted this change and it was merged.
Change subject: fetch-mw-ext: show git bare dir being used
......................................................................
fetch-mw-ext: show git bare dir being used
Change-Id: Id96000de034c65150476499dc85d9ec1437e54ae
---
M tools/fetch-mw-ext
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tools/fetch-mw-ext b/tools/fetch-mw-ext
index 516d7a9..0b305dc 100755
--- a/tools/fetch-mw-ext
+++ b/tools/fetch-mw-ext
@@ -29,6 +29,7 @@
mkdir -p "$DEST"
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."
--
To view, visit https://gerrit.wikimedia.org/r/90889
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id96000de034c65150476499dc85d9ec1437e54ae
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
