용량 큰 파일을 git push 이후에 큰 파일 삭제하는 방법

reference

https://pinedance.github.io/blog/2019/11/09/git-how-to-remove-a-big-file-wrongly-committed

https://rtyley.github.io/bfg-repo-cleaner/