Rename file in git repo July 8, 2019 16 32 64 128 Git rename file in remote repository Github change file name Rename file in linux Rename file in terminal