jenkins-bot has submitted this change and it was merged.
Change subject: nodepool: properly update git cache
......................................................................
nodepool: properly update git cache
Need to have the fetched references to update the local ones.
Dropped --tags since it not always update/prune them.
Show a log entry for HEAD to indicate the cache status.
Change-Id: I80257a0ebfca246fec4b3fa182a7876e61d62bfb
---
M dib/elements/wikimedia-puppet/root.d/01-populate-puppet-repo
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/elements/wikimedia-puppet/root.d/01-populate-puppet-repo
b/dib/elements/wikimedia-puppet/root.d/01-populate-puppet-repo
index 750329d..0280734 100755
--- a/dib/elements/wikimedia-puppet/root.d/01-populate-puppet-repo
+++ b/dib/elements/wikimedia-puppet/root.d/01-populate-puppet-repo
@@ -29,7 +29,9 @@
else
echo "Refreshing $REPO in host cache"
git --git-dir="$DIB_GIT_CACHE/$REPO" remote set-url origin
https://gerrit.wikimedia.org/r/p/operations/puppet.git
- git --git-dir="$DIB_GIT_CACHE/$REPO" fetch --force --prune --tags
--update-head-ok origin
+ git --git-dir="$DIB_GIT_CACHE/$REPO" fetch --prune --update-head-ok \
+ origin +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/*
+ git --git-dir="$DIB_GIT_CACHE/$REPO" log -n 1 --format='%h %ci (%cr)%n>>
%s' HEAD
fi
echo "Copying cached repo from host to image"
--
To view, visit https://gerrit.wikimedia.org/r/239417
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I80257a0ebfca246fec4b3fa182a7876e61d62bfb
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
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
