#!/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 $@"