On Git managed project - 7.2

1. If you are currently on a local branch and you have changes not yet pushed to the associated remote branch, push them first. For more information, see Pushing changes on a local branch to the remote end (Git only).
2. Click the top bar of the Repository tree view to open a drop-down menu.
3. Select the target branch or tag from the drop-down menu, and then select switch from the sub-menu.