From 4a5b4142e1227fd7ee9646f133fa71fb0e34b91b Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 26 Aug 2019 09:34:46 -0700 Subject: [PATCH] ;site: fix "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 7686eb647..a6b5121b7 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 -C site" + "&& printf 'site repo: ' && git -C site pull" -- Shake.hs might have been updated, but we won't execute the -- new one, too insecure. Continue with this one.