Modification : vm_{host,hosted,remote} -> {host,local,remote}/ .

[lhc/ateliers.git] / remote / git-push

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