slaesvuo/hledger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
[ci skip]
This commit is contained in:
Simon Michael 2019-08-26 09:28:52 -07:00
parent 7ff0fe738b
commit 9debf0c288
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Shake.hs
View File

@ -432,7 +432,7 @@ main = do
"PATH=\"/usr/local/opt/coreutils/libexec/gnubin:$PATH\" date --rfc-3339=seconds" "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 -- pull latest code and site repos - sometimes already done by webhook, not always
"&& printf 'code repo: ' && git pull" "&& printf 'code repo: ' && git pull"
"&& printf 'site repo: ' && git pull" "&& printf 'site repo: ' && git pull -C site"
-- Shake.hs might have been updated, but we won't execute the -- Shake.hs might have been updated, but we won't execute the
-- new one, too insecure. Continue with this one. -- new one, too insecure. Continue with this one.