Git: rename directory (case-only) on Windows

You can try to do it in 2 step.

$ git mv docs DOCS2
$ git mv DOCS2 DOCS

it will work