1 2 3 4 5 6 7
#!/bin/sh if [ "$VCS" = git ] && [ -d .git ] && [ -n "$PUSH_REMOTE" ]; then git push "$PUSH_REMOTE" master || true else echo "PUSH_REMOTE not yet supported for $VCS" >&2 fi