In Git, I understand that a branch is a pointer to a commit.
How do I make a specific branch point to a specific commit? Say I want to make master point at 1258f0d0aae..., how do I do that?
master
1258f0d0aae...