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}"
17 git fetch origin --tags
22 echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx mirroring in ${REPO_NAME} for the first time"
23 git clone ${MIRROR_REPO}
25 git remote add local_master ${LOCAL_REPO}
29 echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
31 git fetch local_master --tags
32 git fetch local_master
33 git rebase local_master
36 git push --tags local_master
42 [[ -z "$args" ]] && args=$(ls /svn)