結果 : how to undo changes to a single file in git