then
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pulling from ${REPO_NAME}"
pushd ${REPO}
- git pull --tags
+ git fetch --tags
git pull
popd
else
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
pushd ${REPO}
+ git fetch local_master --tags
+ git pull local_master
+
git push local_master
git push --tags local_master
popd