git trying to push deleted file code example Example: git deleted file error $ git reset --hard HEAD~1