git remote set-url origin "$origin"
else
git clone -o origin "$origin" "$local_repo" &&
- cd "$local_repo"
+ cd "$local_repo" &&
+ chmod a-x .git/config
fi &&
pwd >> "`dirname \"$0\"`"/locate-all.list &&
-
-chmod a-x .git/config &&
branch="`git rev-parse --abbrev-ref HEAD`"
git config push.default current &&
else
git clone -o upstream "$upstream" "$local_repo" &&
cd "$local_repo" &&
- pwd >> "`dirname \"$0\"`"/locate-all.list &&
+ chmod a-x .git/config &&
git remote add origin "$origin"
fi &&
-chmod a-x .git/config &&
-branch="`git rev-parse --abbrev-ref HEAD`"
+pwd >> "`dirname \"$0\"`"/locate-all.list &&
+branch="`git rev-parse --abbrev-ref HEAD`" &&
git pull upstream $branch &&
git pull origin $branch &&