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

remote=${1:-$vm_fqdn}; shift
GIT_SSH="$tool"/remote/ssh git push -v "$remote" "$@"