#!/bin/sh set -ue usage () { echo "usage: $0 URI DEST" } URI="$1" DEST="$2" test "x$URI" = "x" && { usage; exit 1; } test "x$DEST" = "x" && { usage; exit 1; } git init "$DEST" cd "$DEST" git remote add origin "$URI" git config remote.origin.fetch '+refs/gitano/*:refs/remotes/origin/*' git config remote.origin.push 'refs/heads/*:refs/gitano/*' git remote update origin git checkout -b admin origin/admin