github can push because file is deleted code example

Example: git deleted file error

$ git reset --hard HEAD~1