;site: fix "fix the webhook's pull of site repo"

[ci skip]
This commit is contained in:
Simon Michael 2019-08-26 09:34:46 -07:00
parent 9debf0c288
commit 4a5b4142e1

View File

@ -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.