Create pull request

Redo

Select all

Undo

Repository list

New repository

Changes

Branches list

Toggle full screen

History

Zoom in

Show in Explorer

Compare to branch

New branch

Open in external editor

Compare on GitHub

Merge into current branch

Delete

View on GitHub

Reset zoom

Open in Command Prompt

Update from default branch

Toggle developer tools

Clone repository

Zoom out

Pull

Add local repository

Push

Options