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