#!/bin/sh -eu
tool=$(readlink -e "${0%/*}/..")
. "$tool"/remote/lib.sh

GIT_SSH="$tool"/remote/ssh git push -v "$@"