remove file from commit after push code example

Example 1: remove a file from git commit

git reset --soft HEAD^ 
or
git reset --soft HEAD~1
git reset HEAD path/to/unwanted_file
git commit -c ORIG_HEAD

Example 2: git remove commits from branch after push

git reset --hard <last_working_commit_id>
So we must not reset to the commit_id that we don't want.

Then sure, we must push to remote branch:

git push --force

Example 3: git remove file from commit

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file" HEAD

Example 4: how to remove a pushed file from git

git checkout HEAD^ -- /path/to/file