support `branch -f`

[daniele-signal]

It's a great tool for teaching git. One crucial command that would be nice to have supported is the git branch -f existing_name , that allows to move a non-checkedout branch label to the current HEAD by forcing it , since the name already exists.

Thank you!