Git push fails due to large file size of a file I have already deleted from project/repo

Question

I deleted a video file from my project after considering the large file size. After deleting, I am unable to push to git. Git fails to push, stating that the file size is too la