4 Commits

Author	SHA1	Message	Date
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