Simon Michael
|
f5e28ee8ce
|
site: deploy: be sure main repo is pulled
[ci skip]
|
2018-05-16 18:33:23 -07:00 |
|
Simon Michael
|
38e7e378bd
|
make deploy: also do a push if we updated wiki links, to allow pulls
|
2018-05-16 11:58:08 -07:00 |
|
Simon Michael
|
e1230d9929
|
site: home: also commit when updating wiki links
[ci skip]
|
2018-05-14 18:07:53 -07:00 |
|
Simon Michael
|
e0c6a18199
|
tools: deploy tweaks
[ci skip]
|
2018-05-14 17:57:25 -07:00 |
|
Simon Michael
|
d710bfc7f9
|
tools: deploy.sh site update script
[ci skip]
|
2018-05-14 10:52:33 -07:00 |
|