how to delete file from your pushed commit code example Example: how to remove a pushed file from git git checkout HEAD^ -- /path/to/file