From cea86260c96d0b51682727b4cdefff4eed9b4f57 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 25 Aug 2019 06:26:17 -0700
Subject: [PATCH] ;site: pull both repos when either one posts the webhook

[ci skip]
---
 Shake.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index 0ac5f6c0b..1af1216c5 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -430,8 +430,9 @@ main = do
 
         -- print timestamp. On mac, use brew-installed GNU date.
         "PATH=\"/usr/local/opt/coreutils/libexec/gnubin:$PATH\" date --rfc-3339=seconds"
-        -- pull latest main repo - sometimes already done by webhook, not always
-        "&& printf 'main repo: ' && git pull"
+        -- pull latest code and site repos - sometimes already done by webhook, not always
+        "&& printf 'code repo: ' && git pull"
+        "&& printf 'site repo: ' && git pull"
 
       -- Shake.hs might have been updated, but we won't execute the
       -- new one, too insecure. Continue with this one.