New repository

Add local repository

Clone repository

Options

Undo

Redo

Select all

Changes

History

Repository list

Branches list

Toggle full screen

Reset zoom

Zoom in

Zoom out

Toggle developer tools

Push

Pull

View on GitHub

Open in Command Prompt

Show in Explorer

Open in external editor

New branch

Delete

Update from default branch

Compare to branch

Merge into current branch

Compare on GitHub

Create pull request