git try to push large file after delete 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