echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pulling from ${REPO_NAME}"
pushd ${REPO}
git fetch origin --tags
- git pull origin master
+ git fetch origin
+ git rebase origin
popd
else
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx mirroring in ${REPO_NAME} for the first time"
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
pushd ${REPO}
git fetch local_master --tags
- git pull local_master master
-
+ git fetch local_master
+ git rebase local_master
+
git push local_master
git push --tags local_master
popd