GitHubでファイル名を変更したら変更前のファイル名が残る

Question

GitHubでファイル名を変更してコミットしたら
変更前のファイル名が残ってしまいました
GitHubから直接、変更前のファイルを手動で削除しないといけないのでしょうか？
また、正しい対応方法などありましたら教えてくださなれ...

Comments

[CHERRY]

残ってしまったというのはどの画面でしょうか？

また、どのような手順で変更したのでしょうか？

[hoshi-takanori]

git 的には、「ファイル名を変更 (または移動) した」ということは記録してないので、ファイル名の変更と、新しいファイル名での追加 + 古いファイル名の削除は同じことになります。ので、古いファイル名のものが残っていたらそれを消せば ok です。

Answer 1

削除したファイルのある階層以上でgit add .を実行してからコミットすれば削除が反映されます。

また、正しい対応方法などありましたら教えてくださなれ...

git的にはgit rm filenameやgit mv filenameですが、自分が操作する時は普通にmvやrmをして操作したファイル以上の階層でgit add .でファイルの削除を反映させています。

Answer 2

ファイルをリネームした場合、gitから見ると、リネーム前のファイルは削除されたファイルになります。
削除された状態をコミットし、プッシュすればリネーム前のファイルは消えます。

Comments

[Zuishin]

a.txt に Hello World! と書き込んで保存し、add . してコミットします。
a.txt を b.txt にリネームし、add . してコミットします。
git show HEAD した結果が次です。
削除ではなくちゃんとリネーム扱いになっているように思います。

Date: Sat Sep 4 10:26:41 2021 +0900

2nd

diff --git a/a.txt b/b.txt
similarity index 100%
rename from a.txt
rename to b.txt

Answer 3

【 git mv 】コマンド――ファイルを移動する／リネームする：Linux基本コマンドTips（404） - ＠IT

Gitコマンドを使ってファイル名を変更しないと、
ファイル紛失とみなされてリポジトリのものから復帰しますね