次のコマンドでリモートブランチを削除しました。
git push le_remote :le_dead_branch
そして、ブランチはリモートで正常に削除されました。しかし、gitリポジトリのサイズを確認したところ、おそらくその特定のブランチ専用のファイルが(おそらく)まだそこにあることがわかりました。これは、私が削除したのはその特定の状態への参照であり、ファイルではないという事実によるものだと思います。私の質問は、ファイルシステムから実際にファイルを削除するにはどうすればよいですか?
前もって感謝します。