Add cloned repository to the list of repos to process

diff --git a/clone2current b/clone2current
index 92590b97f73562f4255a2ca31f5e77d9539189d0..e79ec715eea3e5f0f87d7fe1ae75c3a06afc9476 100755 (executable)
--- a/clone2current
+++ b/clone2current
@@ -22,6 +22,7 @@ dest_dir="`basename \"$source_dir\"`" &&
 git clone "$source_dir" "$dest_dir" &&
 
 cd "$dest_dir" &&
+pwd >> "`dirname \"$0\"`"/locate-all.list &&
 if [ "`cat \"$source_dir\"/.git/description`" = \
    "Unnamed repository; edit this file 'description' to name the repository." ]
 then

diff --git a/fork b/fork
index 99a84766258911f57c08a9c73ddc9fcd346161d9..64a281c2df31895b28a076401cef1f3087402fe4 100755 (executable)
--- a/fork
+++ b/fork
@@ -11,6 +11,7 @@ local_repo="`basename \"$origin\" .git`"
 
 git clone -o upstream "$upstream" "$local_repo" &&
 cd "$local_repo" &&
+pwd >> "`dirname \"$0\"`"/locate-all.list &&
 git remote add origin "$origin" &&
 
 chmod a-x .git/config &&
@@ -24,5 +25,4 @@ git config branch.$branch.remotepush origin &&
 git config branch.$branch.merge refs/heads/$branch &&
 git config push.default current &&
 
-git gc --aggressive &&
-exec pwd >> "`dirname \"$0\"`"/locate-all.list
+exec git gc --aggressive

diff --git a/publish2web b/publish2web
index 1847f7a8a4d66db22c3ea977dc69f8fe397dbd52..eb7cf0ab915ddacb479b52ba70e977cac0779059 100755 (executable)
--- a/publish2web
+++ b/publish2web
@@ -18,6 +18,7 @@ dest_dir="`basename \"$source_dir\"`".git &&
 git clone --bare --config core.sharedRepository=0644 "$source_dir" "$dest_dir" &&
 
 cd "$dest_dir" &&
+pwd >> "`dirname \"$0\"`"/locate-all.list &&
 git gc --aggressive &&
 git repack -a -d -f --depth=20 --window=250 &&
 git fsck --strict &&