At the moment, the generated site is hosted on my colocated box.
The cronjob that generates the pages could commit them to the gh-pages branch and push that to github, to be hosted using GitHub Pages.
The gh-pages branch must be disconnected from our master branch. We could even ensure that it only ever has a single commit in it, as we don't need the history (and we don't want to spend my github quota on generated HTML).
At the moment, the generated site is hosted on my colocated box.
The cronjob that generates the pages could commit them to the
gh-pagesbranch and push that to github, to be hosted using GitHub Pages.The
gh-pagesbranch must be disconnected from our master branch. We could even ensure that it only ever has a single commit in it, as we don't need the history (and we don't want to spend my github quota on generated HTML).And there is some DNS magic to configure.