Rename file github July 8, 2019 16 32 64 128 Rename file github actions Rename file github desktop Rename file github web Rename file name github Github rename file keep history Github rename file web interface Github rename file case Rename file