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