Ad-hoc benchmark script for git fetch --prune v.s. git remote prune

prune-benchmark.sh

#!/bin/bash -xe

# Clone git.git
cd /tmp/
rm -rf git
if ! test -d git
then
    git clone --reference ~/g/git https://code.google.com/p/git-core/ git
fi

# Create a bunch of branches in it
cd git
for i in {1..1000}
do
    git branch test-$i origin/master || :
done

# Clone that repo again locally
cd /tmp
rm -rf git-fetch git-remote-prune
git clone --no-hardlinks file:///tmp/git git-fetch
cp -Rv git-fetch git-remote-prune

# Delete the branches in the original clone
cd /tmp/git
git branch -l|grep test-|sed 's/^  /git branch -d /'|sh -x