GitLabでリモート側だけに残ってしまったディレクトリの対処方法

Question

ソースを修正して、add -> commit -> push くらいしか使っていませんでしたが
ディレクトリ名を変更する必要があり、ついmvコマンドで変更してしまいました。

$ mv test_dir  main_dir

リモートリポジトリに反映させようと、add,commit,pushと実行したところ
リモートには、test_dir が残ったまま、main_dir が作成されていました。

リモート側をmain_dirディレクトリだけにする（test_dirディレクトリを削除する）
にはどうすれば良いのでしょうか？

すでにtest_dirは存在しませんが、git rm コマンドで、test_dirを削除して
リモート側で削除されるのでしょうか？

$ git rm -r test_dir　

git rmを実行して確認すれば良いのですが、ここでまた誤った操作をすると
より状況が複雑になってしまうので、実行前に解説をしていただきたく質問しました。

Comments

[hoshi-takanori]

git rm -r test_dir でいけると思いますし、test_dir が存在しない状況なら、なんと git add test_dir でもいけます。(git add はそのファイルの現状をコミット対象にするという意味なので、削除したファイルに対して git add すると「削除した」ことがコミット対象になります。)

Answer 1

hoshi-takanori さんが追記・修正事項に書いてくださった

git rm -r test_dir でいけると思いますし、test_dir が存在しない状況なら、なんと git add test_dir

を実行して、ローカルのみのディレクトリの削除を行います。
ありがとうございました。理屈が分かり安心して操作できます。