Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/239909
Change subject: nodepool: cleanup git mirror cache
......................................................................
nodepool: cleanup git mirror cache
Instead of passing --git-dir to all git commandes, just pushd/popd.
Cleanup the cached repo on the building host to end up with a single
pack (git repack -A -d) and drop any loose object (git gc --prune=all).
Bug: T87294
Change-Id: I533fb1709d0f0b44e20c20f82d6a1734aaa073aa
---
M dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
1 file changed, 9 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/09/239909/1
diff --git a/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
b/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
index bb9402c..023525d 100755
--- a/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
+++ b/dib/elements/wikimedia/root.d/01-mirror-gerrit-repos
@@ -18,7 +18,7 @@
# Target directory in the image
IMAGE_GIT_PATH="/srv/git"
-# Repository to clone
+# Repositories to clone
REPOS=('operations/puppet.git' 'integration/config.git')
for REPO in ${REPOS[@]}; do
@@ -29,10 +29,15 @@
git clone --bare "https://gerrit.wikimedia.org/r/p/$REPO";
"$DIB_GIT_CACHE/$REPO"
else
echo "Refreshing host cache $DIB_GIT_CACHE/$REPO"
- git --git-dir="$DIB_GIT_CACHE/$REPO" remote set-url origin
"https://gerrit.wikimedia.org/r/p/$REPO";
- git --git-dir="$DIB_GIT_CACHE/$REPO" fetch --prune --update-head-ok \
+ pushd "$DIB_GIT_CACHE/$REPO"
+ git remote set-url origin "https://gerrit.wikimedia.org/r/p/$REPO";
+ git 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
+ echo "House cleaning (repack && gc)"
+ git repack -A -d
+ git gc --prune=all
+ git log -n 1 --format='HEAD is at:%n%h %ci (%cr)%n>> %s' HEAD
+ popd
fi
done;
--
To view, visit https://gerrit.wikimedia.org/r/239909
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I533fb1709d0f0b44e20c20f82d6a1734aaa073aa
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
