Open in Command Prompt

View on GitHub

Pull

New branch

Reset zoom

New repository

Add local repository

Toggle developer tools

History

Zoom in

Show in Explorer

Update from default branch

Options

Compare on GitHub

Merge into current branch

Toggle full screen

Compare to branch

Clone repository

Redo

Select all

Undo

Changes

Delete

Branches list

Open in external editor

Repository list

Create pull request

Push

Zoom out