update.sh

#!/bin/bash -ex

./sync.sh

if [ ! -f sync.config ]; then
  echo 'error: sync.config does not exist.'
  exit 1
fi

. sync.config

cd $LOCAL_WEBROOT

git checkout master

if ! git ls-remote distribution --exit-code &> /dev/null ; then
  git remote add distribution /home/pieter/v/distro
fi

git fetch distribution
git merge distribution/pocomas --no-edit
git push

ssh $SSH_USER@$SSH_SERVER "./update.sh"