One solution for a issue: git commit a large file and cannot push it to the remote repo

If you git commit a large file and cannot push it to the remote repo. What should you do? If you just work in the local repo, you just need to delete the recent commit history. How to do that? Check my GitHub note.