HomePhabricator

nodepool: cleanup git mirror cache

Description

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

Details

Provenance
hasharAuthored on
Parents
rCICF705793e42a18: nodepool: rename populate repo script
Branches
Unknown
Tags
Unknown
ChangeId
I533fb1709d0f0b44e20c20f82d6a1734aaa073aa