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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
