description of Designer's drop-down menu

This screenshot shows the drop-down menu you use to commit and push changes in your local repository to the remote repository. You open the menu by clicking the repository/branch name in the header. The menu has the following commands: