Rename File_on_github to File_on_github.txt