I'm doing a git rebase
, and I'm stuck because in one commit I have a folder named Proto
, but in the other commit I have a folder named proto
. It was an honest mistake and should have been Proto
in both cases. The best I can figure out here is to try deleting the folder from both commits and then trying the rebase again, but there has to be a better way.
In the past, when I've run into capitalization problems with a file, I've used git mv, but with the folder it won't let me run git mv, and I don't know why.
What's the correct way to fix a folder capitalization problem in git on Windows?