Re: [BUG] git-filter-branch and filename case changes on insensitive file systems

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Johannes Schindelin
Date: Wednesday, October 10, 2007 - 6:39 am

Hi,

On Wed, 10 Oct 2007, Jonathan del Strother wrote:


That is no problem for git-filter-branch.


That is the problem.

Of course, we could work around that in git, but frankly, you will turn 
into problems once you have files whose names differ only in case.  And I 
am certain somebody will come soon and report this as a bug in git!

I vote for wont-fix (or more accurately "invalid") in git and 
please-fix-in-your-setup.

Ciao,
Dscho

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[BUG] git-filter-branch and filename case changes on insen ..., Jonathan del Strother, (Wed Oct 10, 2:40 am)
Re: [BUG] git-filter-branch and filename case changes on i ..., Johannes Schindelin, (Wed Oct 10, 6:39 am)
Re: [BUG] git-filter-branch and filename case changes on i ..., Jonathan del Strother, (Wed Oct 10, 6:49 am)