I was doing some work in my repository and noticed a file had local changes. I didn\'t want them anymore so I deleted the file, thinking I can just checkout a fresh copy. I
Git told me how to do it.
if you typed:
git checkout
Save the status
git add . git commit -m "some message"
Then:
git push origin HEAD: