git undo local branch to match remote code example

Example: git reset hard to remote

git reset --hard origin/master; git commit -m 'reset to remote';git push --force local dev