core.ignorecase true for new projects

[git-tools-moved-to-github.git] / id-new-project / id-new-project.sh

diff --git a/id-new-project/id-new-project.sh b/id-new-project/id-new-project.sh
index 507dc06..803622e 100755 (executable)
--- a/id-new-project/id-new-project.sh
+++ b/id-new-project/id-new-project.sh
@@ -34,6 +34,7 @@ if git clone --bare $SRC ${PROJ}.git; then
        touch git-daemon-export-ok
        echo "${DESC}" >description
        git config core.sharedRepository true
+       git config core.ignorecase true
        cp ../post-receive hooks/post-receive
        chmod +x hooks/post-receive
        git config hooks.mailinglist gitid@indexdata.dk