Delete File from Git History

1. delete file in git repo
2. git commit -m 'commit message'
3. git push
4. run the following commands:

5. git filter-branch --force --index-filter "git rm --cached --ignore-unmatch PATH-TO-FILE" --prune-empty -- --all
   git push origin --force --all