Rename file git case sensitive July 8, 2019 16 32 64 128 Git does not detect file rename case sensitive