dépôts / lhc / ateliers.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Ajout : iodined tunnel IP sur DNS.
[lhc/ateliers.git] / remote / git-push
1 #!/bin/sh -eu
2 tool=$(readlink -e "${0%/*}/..")
3 . "$tool"/remote/lib.sh
4
5 GIT_SSH="$tool"/remote/ssh git push -v "$@"
outils d'administration d'ateliers.heureux-cyclage.org