4 echo "Usage: $0 origin" >&2
9 local_repo="`basename \"$origin\" .git`"
11 if [ -d "$local_repo"/.git ]; then
16 git remote set-url origin "$origin"
18 git clone -o origin "$origin" "$local_repo" &&
23 "`dirname \"$0\"`"/set-commit-date-recursive &&
24 pwd >> "`dirname \"$0\"`"/locate-all.list &&
25 branch="`git rev-parse --abbrev-ref HEAD`"
27 git config push.default current &&
28 exec git gc --aggressive