bug in os x - deleted file on clone

Hello,

When I clone a repository using git on osx this happens :

------------

grandmesse:code dubbed$ git clone ssh://git@[snip]/puppet.git
Cloning into 'puppet'...
remote: Counting objects: 5313, done.
remote: Compressing objects: 100% (4086/4086), done.
remote: Total 5313 (delta 2200), reused 2996 (delta 841)
Receiving objects: 100% (5313/5313), 2.07 MiB | 0 bytes/s, done.
Resolving deltas: 100% (2200/2200), done.
Checking connectivity... done.
grandmesse:code dubbed$ cd puppet
grandmesse:puppet dubbed$ git status
On branch master
Your branch is up-to-date with 'origin/master'.
Changes not staged for commit:
  (use "git add/rm <file>..." to update what will be committed)
  (use "git checkout -- <file>..." to discard changes in working directory)
deleted:    modules/areversat-nidautoprov/files/dhcp/staticDHCPd/staticDHCPd
no changes added to commit (use "git add" and/or "git commit -a")

-----------------

This does not happen under linux so the repository isn't the issue.

Thanks,

D

On Thu, Jul 03, 2014 at 11:53:28AM -0400, David Salib wrote:

Does the repository have similar paths distinguished only by case? Try looking at the output of:

  git ls-tree HEAD

If your file system is case-insensitive, then it might not be possible to represent the repository contents on disk (git has some workarounds to handle case-insensitivty, but fundamentally such filesystems cannot represent "FOO" and "foo" with different contents, and you are best off not trying to store that in your repository).

-Peff