2 # Check out or update a GIT repository
10 # If the base git directory doesn't exist, then we need to clone it
12 if [ ! -d $DIR/.git
]; then
13 echo "Cloning $URL..."
16 echo "Couldn't clone $URL."
21 # Fetch the latest and greatest bits
23 export GIT_DIR
=$DIR/.git
28 git-pack-redundant
--all |
xargs -r rm
31 git-tar-tree
$TAG $NAME-$TAG |
bzip2 > $TARBALL