gitの使い方について

Question

初歩的な質問となり失礼します。

現在githubを使用を初めており、以下のような流れでpullを行なっております。

その中で、過去にdb/migrate/postをpushしたことがあり、そのファイルはローカル上では削除し、新たに　db/migrate/postをpushしたのですが、過去のpostがgithub上で削除されていないようです。

古く不要なファイルがあってもpushした時に使われていないものは自動的に削除されるのかと思っていたのですが、違いますか？

ご教示頂ければ幸いです。
よろしくお願い致します。

git branch add-new-file
git checkout add-new-file
git add. 
git status
git commit -m
git push origin add-new-file
``

Answer 1

... pushした時に使われていないものは自動的に削除される ...

ということはありません。
github 上からファイルを削除するには、 git rm で削除することを git に知らせ、それを commit, push する必要があります。

参考情報

• gitの管理対象から特定のファイル、ディレクトリを削除する

https://qiita.com/ytkt/items/a2afd6be8e4f06c1ea25