Eli Zaretskii wrote:
Date: Mon, 15 Oct 2007 20:45:02 -0400 (EDT)
From: Daniel Barkalow <address@hidden>
cc: Alex Riesen <address@hidden>, address@hidden,
address@hidden, address@hidden, address@hidden, make-
address@hidden
I believe the hassle is that readdir doesn't necessarily report a
README in a directory which is supposed to have a README, when it
has a readme instead.
Sorry I'm asking potentially stupid questions out of ignorance: why
would you want readdir to return `README' when you have `readme'?
Because it might have been checked in as README, and since git is case
sensitive that is what it'll think should be there when it reads the
directories. If it's not, users get to see
removed: README
untracked: readme
and there's really no easy way out of this one, since users on a case-
sensitive filesystem might be involved in this project too, so it
could be an intentional rename, but we don't know for sure. Just
clobbering the in-git file is wrong, but overwriting a file on disk
is wrong too. git tries hard to not ever lose any data for the user.