#!/bin/sh

# This script gets run by a cronjob every minute.  It pulls from the git server
# and checks for changes.  If any changes were made, we rebuild the site.

PATH=$PATH:/usr/local/bin

h1=`git rev-parse HEAD`
git pull
h2=`git rev-parse HEAD`

[ $h1 = $h2 ] || {
	make
	./build
	git diff --name-only HEAD^ HEAD | grep -q server.go                     \
		&& systemctl restart euro-thomasvoss-com.service
}