Github rename file July 8, 2019 16 32 64 128 Github rename file case sensitive Github rename file name Github rename file in repository Github rename file keep history Github rename file case Github actions rename file Github web rename file Github desktop rename file Github api rename file Github app rename file Github mobile rename file