git change head of a branch to a specific commit 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