should i delete any gitgnorw file before push to git hub code example Example: git deleted file error $ git reset --hard HEAD~1