Rename file git push July 8, 2019 16 32 64 128 Git rename file and push Github change file name Add file to github repository
