Make sure the main git repo is case-insensitive too

diff --git a/sync-all b/sync-all
index a7b579e..06c183a 100755 (executable)
--- a/sync-all
+++ b/sync-all
@@ -283,6 +283,9 @@ sub scmall {
             if (-d $localpath) {
                 warning("$localpath already present; omitting")
                     if $localpath ne ".";
             if (-d $localpath) {
                 warning("$localpath already present; omitting")
                     if $localpath ne ".";

+                if ($scm eq "git") {
+                    scm ($localpath, $scm, "config", "core.ignorecase", "true");
+                }

                 next;
             }
 
                 next;
             }