Or for arbitrary refs, `git update-ref -m "reset: Reset <branch> to
<new commit>" <branch> <commit>`. (You can pick nits about the reflog
message if you like - I believe the `branch -f` one is different from
the `reset --hard` one, and this isn't exactly either of them.)