From: Ian Lynagh <igloo@earth.li>
Date: Fri, 15 Apr 2011 13:23:02 +0000 (+0100)
Subject: Make sure the main git repo is case-insensitive too
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=11b33eaeaef39fcba8ee9258213068ed90362aa7

Make sure the main git repo is case-insensitive too
---

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;
             }