Git rename file change case July 8, 2019 16 32 64 128 Git not picking up file rename case change Github change file name