how to remove a pushed file from git

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

Source

Also in Shell: