結果 : how to rename a file in git repository