From 9debf0c288540a2c2aabaced81387a5f0e5a0510 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 26 Aug 2019 09:28:52 -0700
Subject: [PATCH] ;site: fix the webhook's pull of site repo

[ci skip]
---
 Shake.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 1af1216c5..7686eb647 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -432,7 +432,7 @@ main = do
         "PATH=\"/usr/local/opt/coreutils/libexec/gnubin:$PATH\" date --rfc-3339=seconds"
         -- pull latest code and site repos - sometimes already done by webhook, not always
         "&& printf 'code repo: ' && git pull"
-        "&& printf 'site repo: ' && git pull"
+        "&& printf 'site repo: ' && git pull -C site"
 
       -- Shake.hs might have been updated, but we won't execute the
       -- new one, too insecure. Continue with this one.