Changing capitalization of filenames in Git

I am trying to rename a file to have different capitalization from what it had before: git mv src/collision/b2AABB.js src/collision/B2AABB.js fatal: destination exists, source=src/collision/b2AABB.js, destination=src/collision/B2AABB.js As you can see, Git throws a fit over this. I tried renaming using just the plain old mv command as well, but Git doesn’t pick up the rename (as … Read more