From f5e28ee8ce3d31ec6e544edbe5ac462798b36c61 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 16 May 2018 18:33:23 -0700
Subject: [PATCH] site: deploy: be sure main repo is pulled

[ci skip]
---
 tools/deploy.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/deploy.sh b/tools/deploy.sh
index c18b8b259..9c8b9812a 100755
--- a/tools/deploy.sh
+++ b/tools/deploy.sh
@@ -13,8 +13,8 @@
 # timestamp
 echo && date --rfc-3339=seconds && \
 
-# fetch latest code & website - should be already done by webhook
-# git pull && \
+# fetch latest code & website - sometimes already done by webhook, not always
+git pull && \
 
 # fetch latest wiki content
 printf "wiki: " && git -C wiki pull && \