12 Apr
2016
12 Apr
'16
2:02 p.m.
Hi Robin,
The site is generated (usually locally) by the one who
edits
it then copied (usually rsync over ssh) to the server.
How about maintaining the sources in a shared git repo, then having a
post-commit hook to generate the HTML? Then we could send pull requests
to update pages.
Cheers!
Daniel