From 0f7a2134a62bd77c7fef4497ee5d03f42c6a7cf3 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Mon, 9 Jan 2017 19:57:39 +0300
Subject: [PATCH] Fix base directory name: do not remove .git suffix

---
 do-all | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/do-all b/do-all
index 4b87ab2..bd634ad 100755
--- a/do-all
+++ b/do-all
@@ -6,6 +6,6 @@ cat "$prog_dir"/locate-all.list |
 while read d; do
    if ! test -d "$d"; then echo "No such dir: $d" >&2; continue; fi
    test -d "$d"/.git && g="$d"/.git || g="$d"
-   b="`basename \"$d\" .git`"
+   b="`basename \"$d\"`"
    eval "$@"
 done
-- 
2.39.5