From 7f923927d1c434b0ea0853bfeea5ff5ef3fc08fe Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Tue, 11 Apr 2017 23:16:47 +0300
Subject: [PATCH] Add cloned repository to the list of repos to process

---
 clone2current | 1 +
 fork          | 4 ++--
 publish2web   | 1 +
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/clone2current b/clone2current
index 92590b9..e79ec71 100755
--- 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 99a8476..64a281c 100755
--- 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 1847f7a..eb7cf0a 100755
--- 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 &&
-- 
2.39.5