#!/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