Change branches in the Workspace

You can change branches in your workspace by selecting a branch from the menu:

Select a branch from the menu

The menu lists a maximum of ten local branches followed by remote branches, in alphabetical order. If your repositories have more than ten branches, you can search for additional branches.

Tip
Branches deleted in GitHub continue to appear in Domino’s menu until you sync sync or pull your latest changes.