Unfortunately, it's not as simple as
git config core.ignorecase false to make Git do the right thing. That's an essential part of it, but Git still sees changes to the original naming of the file as a change, not a deletion.
Thanks for sharing, just bumped up against this and it helped to know it wasn't just me!
Nice info, thanks
Post a Comment