Re: Two consecutive clones of a remote produces different files

On Fri, Jul 15, 2016 at 10:45:47AM +0200, Morten W. J. wrote:

I have a repository hosted on a GitLab server on my LAN and when I clone that 
repository to a linux box and a windows box I get different files!

It is very hard to explain in words, so I have recorded my desktop while 
reproducing it, which I can do consistently:

https://dl.dropboxusercontent.com/u/5234017/git-clone-produces-different-results.ogv

I have no ideas what is wrong or why it behaves the way it does, but I am 
actually pretty scared now. The repository has been updated from as a subtree 
from another repository, but that should not create such behavior?

Just a blind guess, but might you have two files with names that differ
only in case, and on Windows one is overwriting the other because you
have a case-insensitive filesystem?

Try:

  git ls-files -s | grep -i src/LogEventSubscriber.h

to see what is in the index (which is case-sensitive, and is the source
from which git checks the files out into the working tree).

-Peff