dépôts / lhc / ateliers.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Correction : etc/openssl/demo.burette.heureux-cyclage.org/host.cfg
[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