I need to rename a branch name. The docs have info about renaming a tag (actually a new name followed by delete) but I've no idea how to do it for a branch. Paulo