3 MIRROR="git://git.planet-lab.org"
10 MIRROR_REPO=${MIRROR}/${REPO_NAME}
11 LOCAL_REPO=${LOCAL}/${REPO_NAME}
15 echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pulling from ${REPO_NAME}"
21 echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx mirroring in ${REPO_NAME} for the first time"
22 git clone ${MIRROR_REPO}
24 git remote add local_master ${LOCAL_REPO}
28 echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
30 git fetch local_master --tags
34 git push --tags local_master
40 [[ -z "$args" ]] && args=$(ls /svn)