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

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

diff --git a/remote/git-push b/remote/git-push
new file mode 100755 (executable)
index 0000000..9bd0782
--- /dev/null
+++ b/remote/git-push
@@ -0,0 +1,6 @@
+#!/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" "$@"