Answer by kevininhe for Git push doesn't ignore files in .gitignore

Another option, following @AD7six answer, is to create a new branch with no history, so you can push this branch to the remote server ignoring completely the large file.

You can accomplish this by doing:

git checkout --orphan <name_you_choose_for_orphan_branch>git commit

And then push your changes with

git push <remote-name> <name_you_choose_for_orphan_branch>

Source: How can I purge all the history and push it