Commit 040d65fe authored by Brad King's avatar Brad King

Merge topic 'prune-worktrees'

Merge-request: !4Acked-by: Brad King's avatarBrad King <brad.king@kitware.com>
parents 9a35692c 958a2cd1
......@@ -114,6 +114,8 @@ trap "rm -rf '$workdir'" EXIT
git clone "$repo" "$upstreamdir"
if [ -n "$basehash" ]; then
# Remove old worktrees
git worktree prune
# Use the existing package's history
git worktree add "$extractdir" "$basehash"
# Clear out the working tree
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment