Git: (probably) Easiest way to reset your local master

I came across an easiest and laziest way to reset an origin/master in a local repository in this answer in StackOverflow, which is to delete and checkout a master branch.