On 17 April 2018 at 13:47, Greg Stein <gst...@gmail.com> wrote: > The easiest solution is to place your site source into Git, specifically as > part of our "gitbox" program. That will allow for direct editing on > github.com. When the edits are saved, then buildbot or jenkins can pick up > the change, generate/save the site, and pubsub will pick up the > newly-generated change(s) to the site. >
This is a clearer explanation of what I was trying to suggest. I didn't even consider the GitHub editor feature, though, which would be super handy here! -- Matt Sicker <boa...@gmail.com>
