using [git reset --hard HEAD~1] to undo a commit (*before* a push)