Rename file name in git