Git force rename file case July 8, 2019 16 32 64 128 Git force file rename case sensitive Github change file name