3 if [ -z "$1" -o -n "$3" ]; then
4 echo "Usage: $0 origin [local]" >&2
10 test -z "$local_repo" && local_repo="`basename \"$origin\" .git`"
12 if [ -d "$local_repo"/.git ]; then
17 git remote set-url origin "$origin"
19 git clone -o origin "$origin" "$local_repo" &&
24 "`dirname \"$0\"`"/set-commit-date-recursive &&
25 pwd >> "`dirname \"$0\"`"/locate-all.list &&
26 branch="`git rev-parse --abbrev-ref HEAD`"
28 git config push.default current &&
29 exec git gc --aggressive