android-scripts/gerrit-pull

#!/bin/bash

exec gerrit-fetch --post=pull "$@"