From: Nguyen Thai Ngoc Duy <pclouds@gmail.com>
Date: Tue, 13 Sep 2011 10:10:40 GMT
Subject: Re: windows git problem
Message-ID: <CACsJy8B4RY4Yst9TPhNCOj8AUziFa+O+2Msen9Bt=QHo5SW=sA@mail.gmail.com>
In-Reply-To: <4E6E5000.3040203@tandvsolns.co.uk>

On Tue, Sep 13, 2011 at 4:31 AM, luis <luis@tandvsolns.co.uk> wrote:
> Exactly!
>
> so the next time someone (in windows) does a commit, they remove the file or
> the folder contents!

May be this commit dc1ae70 (Support case folding for git add when
core.ignorecase=true). Forcing core.ignorecase to add_to_index() seems
a bit too strong for me. We could have added a new flag,
ADD_CASE_INSENSITIVE, to add_to_index() and enabled it only to
selected commands instead.

Or maybe we can improve the situation a little bit by warning users this case.
-- 
Duy