Thursday, 10 January 2013

Dangerous bug between Git, GitHub and Windows (duplicate directories with different capitalization)

After doing this rename, here is what GitHub looks like:

image

Note the two Web Applications folders!!!

I have hit this issue in the past, and I think it is something to do with Windows capitalization inconsistencies (as seen on the windows search), Git and GitHub

Note how my local folder looks good.

image

Even weirder is the fact that the commit message looks good (note the renames):

image

Let’s try to do a git clone to see if what happens locally:

image

image image image

Humm, the clone looks good, so I wonder if this will self correct after the next commits:

image

Question: Any ideas on how to fix this? 

My only thought at the moment is to:
a) delete that folder (from Git)
b) commit and push the delete
c) add that folder
d) commit and push