how to move the tip of the branch to head in git code example

Example: git move branch to previous commit

git checkout 1258f0d0aae    #detach from master
git branch -f master HEAD   #exactly as above

#optionally reattach to master
git checkout master