Git で管理しているファイルをリネームする場合は git mv しなさいと様々なところで説明されているのですが、私は忘れそうで怖い…。そう思って、git mv でなく mv したらどうなってしま…