So I mangled my local commit history with by amending the last commit. FYI, I'm not experienced with GIT. I thought amend was used to undo a git add --all. So I ran the two commands in the Stack overflow question: How to undo "git commit --amend" done instead of "git commit"
However looking at the hash, I see it's still different. Without destroying the changes in source code, how do I reset the local git commit history to what I have in github?