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 &&
+"`dirname \"$0\"`"/set-commit-date-recursive &&
pwd >> "`dirname \"$0\"`"/locate-all.list &&
-
-chmod a-x .git/config &&
branch="`git rev-parse --abbrev-ref HEAD`"
git config push.default current &&