#!/bin/bash exec gerrit-fetch --post=pull "$@"