clone

   1 #! /bin/sh
   2
   3 if [ -z "$1" ]; then
   4    echo "Usage: $0 origin" >&2
   5    exit 1
   6 fi
   7
   8 origin="$1"
   9 local_repo="`basename \"$origin\" .git`"
  10
  11 if [ -d "$local_repo"/.git ]; then
  12    cd "$local_repo"
  13 fi &&
  14
  15 if [ -d .git ]; then
  16    git remote set-url origin "$origin"
  17 else
  18    git clone -o origin "$origin" "$local_repo" &&
  19    cd "$local_repo" &&
  20    chmod a-x .git/config
  21 fi &&
  22
  23 "`dirname \"$0\"`"/set-commit-date-recursive &&
  24 pwd >> "`dirname \"$0\"`"/locate-all.list &&
  25 branch="`git rev-parse --abbrev-ref HEAD`"
  26
  27 git config push.default current &&
  28 exec git gc --aggressive