#! /bin/sh

if [ -z "$1" -o -n "$3" ]; then
   echo "Usage: $0 origin [local]" >&2
   exit 1
fi

origin="$1"
local_repo="$2"
test -z "$local_repo" && local_repo="`basename \"$origin\" .git`"

if [ -d "$local_repo"/.git ]; then
   cd "$local_repo"
fi &&

if [ -d .git ]; then
   git remote set-url origin "$origin"
else
   git clone -o origin "$origin" "$local_repo" &&
   cd "$local_repo" &&
   chmod a-x .git/config
fi &&

"`dirname \"$0\"`"/set-commit-date-recursive &&
pwd >> "`dirname \"$0\"`"/locate-all.list &&
branch="`git rev-parse --abbrev-ref HEAD`"

git config push.default current &&
exec git gc --aggressive