;site: pull both repos when either one posts the webhook

[ci skip]
This commit is contained in:
Simon Michael 2019-08-25 06:26:17 -07:00
parent b9b420290c
commit cea86260c9

View File

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