ファイル名の変更がGitにちゃんと伝わってなかった。やり直し。