Git Notes HEAD and ORIG_HEAD in Git How do I used 'git reset --hard HEAD' to revert to a previous commit? Github Cheat Sheet Force Git to overwrite local files