Gerrit Tools README

Gerrit Tools is an extension to make it easier to push to gerrit from VSCode.

Features

Use Push to Gerrit to push.

Requirements

You must have git installed.

Extension Settings

This extension contributes the following settings:

• gerrit-tools.push.defaultPushOption: Specifies the default push option to be used, can always be changed on every push.

Extension Keybindings

• Push to Gerrit: ctrl+Shift+G P

Known Issues

Enjoy!