Issue with renaming a directory in git to lowercase while ignoreLowercase=True

Example: if you are lower-casing Mydir

git mv src/Mydir src/mydirs

git mv src/mydirs src/mydir

git commit -m "Rename folder Mydir to mydir"