Undo

Select all

New repository

Add local repository

Push

Create pull request

Redo

Branches list

Repository list

Toggle full screen

Changes

Compare on GitHub

Show in Explorer

Open in external editor

History

Reset zoom

Zoom out

New branch

Pull

Delete

Merge into current branch

View on GitHub

Toggle developer tools

Compare to branch

Clone repository

Update from default branch

Options

Zoom in

Open in Command Prompt