large file stops github push even after deleted code example
Example 1: git deleted file error
$ git reset --hard HEAD~1
Example 2: github claims I have a large file that
git filter-branch --index-filter 'git rm -r --cached --ignore-unmatch <file/dir>' HEAD