GitHubに誤ってプッシュした、またはいらなくなったファイルを削除する方法。
ワーキングエリア（作業ディレクトリ）からも削除する方法と、残す方法。

削除方法

ローカルで対象のファイルを削除し（ステージングエリアから）、コミット後にプッシュ。

1. ローカルファイルを削除

1

$ git rm ファイル名

※ただしこれだと、ワーキングエリアからも削除されてしまう。
ワーキングエリアには残しておき、Git管理対象外としたい場合は、.gitignoreに追記し

1

$ git rm --cached ファイル名

2. ステージング

1

$ git add .

3. コミット

1

$ git commit -m "メッセージ"

4. プッシュ

1

$ git push

※以前に push -u していない場合は、宛先が必要