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.