#!/bin/sh

# A shortcut for invoking remote gerrit commands, as documented here:
# https://gerrit.wikimedia.org/r/Documentation/cmd-index.html

ssh -p 29418 gerrit.wikimedia.org "gerrit $@"