if [ -d .git ]; then
git remote set-url origin "$origin"
else
- git clone -o origin "$origin" "$local_repo" &&
- cd "$local_repo" &&
- chmod a-x .git/config
+ git clone -o origin "$origin" "$local_repo"
fi &&
"`dirname \"$0\"`"/set-commit-date-recursive &&
+++ /dev/null
-#! /bin/sh
-
-g="`git rev-parse --git-dir`" &&
-exec chmod a-x "$g"/config
+++ /dev/null
-#! /bin/sh
-
-prog_dir="`dirname \"$0\"`" &&
-exec "$prog_dir"/run-recursive "$prog_dir"/fix-config
+++ /dev/null
-#! /bin/sh
-
-cd "`dirname \"$0\"`" &&
-prog_dir="`pwd`" &&
-export prog_dir
-
-exec "$prog_dir"/run-repos "$prog_dir"/fix-config-recursive
else
git clone -o upstream "$upstream" "$local_repo" &&
cd "$local_repo" &&
- chmod a-x .git/config &&
git remote add origin "$origin"
fi &&