push_clean_repos

#!/bin/sh
#
# Copyright (C) 2014 Brian Murphy <brian@murphy.dk>
#
# This file is part of git_filter, distributed under the GNU GPL v2.
# For full terms see the included COPYING file.
#

syntax()
{
    echo "syntax: $0 CONFIGFILE [<output prefix>]"
    exit 1
}

if [ "set${1}" = "set" ]; then
    syntax
fi

if [ "set${2}" != "set" ]; then
    OUTPUT_PREFIX=${2}
fi

CONFIG_FILE=$1

REPO=`awk '/^REPO: / {print $2}' $CONFIG_FILE |head -n 1`
NAMES=`awk '/^FILT: / {print $2}' $CONFIG_FILE`
TPFX=`awk '/^TPFX: / {print $2}' $CONFIG_FILE`

# try and figure out if the repository is bare or not
REPO_GIT=$REPO/.git
if [ ! -d $REPO_GIT ]; then
    REPO_GIT=$REPO
fi

# repack the source repository to ensure it is compact
# speeds up the push later
git --git-dir=$REPO_GIT repack -ad

for name in $NAMES; do
    newbranch=$TPFX$name
    newrepo=${OUTPUT_PREFIX}${newbranch}.git
    # create the git repository if it does not exist
    git --git-dir=$newrepo init
    git --git-dir=$REPO_GIT push $newrepo $newbranch:master
done