On Mon, Jun 19, 2017 at 8:56 AM, Raphael Bircher <rbircherapa...@gmail.com> wrote:
> Jenkins maybe, but the idea for me is to make it easy for contributors >> to run the website generation locally for creating content. >> > For my point of view, an automated build is better. Else you need to > install the tools every time first. If you jest have a small improvement, > you maybe don't do the change. > Automated is required. No doubt. But local running is very, very handy for anything larger than typo correction.
