git - Can't push to GitHub because of large file which I already deleted - Stack Overflow

Mon Feb 28 2022 03:03:09 GMT+0000 (Coordinated Universal Time)

Saved by @jalimpia

git filter-branch --index-filter 'git rm -r --cached --ignore-unmatch <file/dir>' HEAD