From 11b33eaeaef39fcba8ee9258213068ed90362aa7 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 15 Apr 2011 14:23:02 +0100
Subject: [PATCH 1/1] Make sure the main git repo is case-insensitive too

---
 sync-all |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/sync-all b/sync-all
index a7b579e..06c183a 100755
--- a/sync-all
+++ b/sync-all
@@ -283,6 +283,9 @@ sub scmall {
             if (-d $localpath) {
                 warning("$localpath already present; omitting")
                     if $localpath ne ".";
+                if ($scm eq "git") {
+                    scm ($localpath, $scm, "config", "core.ignorecase", "true");
+                }
                 next;
             }
 
-- 
1.7.10.4