Report question

Question: Change a branch name in a Git repo