From ee71849692690e9cd81852434f5babb5d63dc8bb Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@lukeshu.com>
Date: Tue, 14 Mar 2017 22:24:38 -0400
Subject: Run pre-generate server-side if it didn't already run

---
 bin/post-receive.githook | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'bin/post-receive.githook')

diff --git a/bin/post-receive.githook b/bin/post-receive.githook
index 8292df0..53de38c 100755
--- a/bin/post-receive.githook
+++ b/bin/post-receive.githook
@@ -2,7 +2,17 @@
 set -e
 whoami
 export LANG=en_US.UTF-8
-
 unset GIT_DIR
+
+if ! git merge-base --is-ancestor master pre-generated; then
+	dir="$(mktemp --tmpdir -d www-generate.XXXXXXXXXX)"
+	git clone "$PWD" "$dir"
+	pushd "$dir"
+	bin/pre-generate
+	git push origin pre-generated
+	popd
+	rm -rf -- "$dir"
+fi
+
 cd /srv/http/www.andrewdm.me
 git pull --ff-only
-- 
cgit v1.2.3-2-g168b