From: Marc Strapetz <marc.strapetz@syntevo.com>
Date: Fri, 22 Jun 2018 12:04:09 GMT
Subject: Unexpected ignorecase=false behavior on Windows
Message-ID: <c5abdd45-a919-96f6-8560-5fd943069f5e@syntevo.com>

On Windows, when creating following repository:

$ git init
$ echo "1" > file.txt
$ git add .
$ git commit -m "initial import"
$ ren file.txt File.txt
$ git config core.ignorecase false

Status results are:

$ git status --porcelain
?? File.txt

As on Unix, I would expect to see:

$ git status --porcelain
  D file.txt
?? File.txt

Is the Windows behavior intended? I'm asking, because e.g. JGit will 
report missing files, too, and I'm wondering what would be the correct 
way to resolve this discrepancy? (JGit does not have 
"ignorecase=true"-support at all, btw).

Tested with git version 2.17.1.windows.2

-Marc