how to remove unwanted commited pushed files from git code example

Example: how to remove a pushed file from git

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